Colin F. Snook
发表
Colin F. Snook,
Rachel Harrison,
R. Harrison,
2001,
Inf. Softw. Technol..
Colin F. Snook,
Marina Waldén,
Andrew Edmunds,
2016,
ABZ.
Colin F. Snook,
Michael J. Butler,
2001,
PPIG.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2017,
ICTAC.
Colin F. Snook,
Nikos S. Voros,
Stefan Hallerstede,
2004,
FDL.
Colin F. Snook,
Tom J. Kazmierski,
2016,
2016 Forum on Specification and Design Languages (FDL).
Experimental comparison of the comprehensibility of a Z specification and its implementation in Java
Colin F. Snook,
Rachel Harrison,
2004,
Inf. Softw. Technol..
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2016,
ABZ.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2017,
Sci. Comput. Program..
Colin F. Snook,
Ian Johnson,
Michael Poppleton,
2006,
RODIN Book.
Colin F. Snook,
Rozilawati Razali,
Michael Poppleton,
2007,
PPIG.
Colin F. Snook,
Michael J. Butler,
Michael Leuschel,
2005,
Abstract State Machines.
Colin F. Snook,
Michael J. Butler,
Vitaly Savicks,
2010,
FMCO.
Colin F. Snook,
Michael J. Butler,
Mar Yah Said,
2013,
Software & Systems Modeling.
Colin F. Snook,
Michael J. Butler,
S. Ramesh,
2013,
MODELSWARD.
Neil Evans,
Colin F. Snook,
Michael J. Butler,
2013,
Refine@IFM.
Colin F. Snook,
Michael J. Butler,
Mar Yah Said,
2009,
FM.
Colin F. Snook,
Michael J. Butler,
John Colley,
2012,
SEFM.
Paulo Sérgio Muniz Silva,
Colin F. Snook,
Thiago C. de Sousa,
2012,
ABZ.
Colin F. Snook,
Michael J. Butler,
M. Butler,
2006,
TSEM.
Colin F. Snook,
Karla Morris,
Thai Son Hoang,
2018,
FTSCS.
Roberto Nardone,
Valeria Vittorini,
Colin F. Snook,
2018,
ISoLA.
Colin F. Snook,
Kim Sandström,
2003,
FDL.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2018,
ICFEM.
Colin F. Snook,
Stefan Hallerstede,
S. Hallerstede,
2011,
ICFEM.
Colin F. Snook,
Marina Waldén,
C. Snook,
2007,
B.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2017,
RSSRail.
Colin F. Snook,
Michael J. Butler,
2008,
ABZ.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2017,
NFM.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2018,
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS).
Colin F. Snook,
Rozilawati Razali,
Michael R. Poppleton,
2007,
WEASELTech '07.
Colin F. Snook,
Michael J. Butler,
S. Ramesh,
2013,
2013 IEEE Conference on Computer Aided Control System Design (CACSD).
Colin F. Snook,
D. Moisuc,
S. Revol,
2006,
FDL.
Colin F. Snook,
Rozilawati Razali,
Michael Poppleton,
2007,
EASE.
Colin F. Snook,
Kostas Masselos,
Nikos S. Voros,
2004,
Des. Autom. Embed. Syst..
Colin F. Snook,
Ian Johnson,
Michael Poppleton,
2008,
Inf. Softw. Technol..
Colin F. Snook,
Marina Waldén,
Marta Plaska,
2009,
Methods, Models and Tools for Fault Tolerance.
Paulo Sérgio Muniz Silva,
Colin F. Snook,
Thiago C. de Sousa,
2011,
Innovations in Systems and Software Engineering.
Colin F. Snook,
Rachel Harrison,
Michael J. Butler,
2000,
IWSM.
Colin F. Snook,
Elena Troubitsyna,
Linas Laibinis,
2006,
RODIN Book.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2017,
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
Colin F. Snook,
Dana Dghaym,
Michael Poppleton,
2018,
ABZ.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2020,
ECSA Companion.
Colin F. Snook,
Michael J. Butler,
Asieh Salehi Fathabadi,
2014,
IFM.
Colin F. Snook,
Thai Son Hoang,
Dana Dghaym,
2021,
ABZ.
Colin F. Snook,
Thai Son Hoang,
Dana Dghaym,
2021,
MEDI Workshops.
Colin F. Snook,
Thai Son Hoang,
Dana Dghaym,
2021,
ABZ.