Login / Signup
Neil Grant
Publication Activity (10 Years)
Years Active: 2007-2013
Publications (10 Years): 0
Top Topics
Conceptual Modelling
Image Sequences
Wireless Sensor Networks
Top Venues
Refine@IFM
</>
Publications
</>
Michael J. Butler
,
John Colley
,
Andrew Edmunds
,
Colin F. Snook
,
Neil Evans
,
Neil Grant
,
Helen Marshall
Modelling and Refinement in CODA
Refine@IFM
(2013)
Helen Treharne
,
Steve A. Schneider
,
Neil Grant
,
Neil Evans
,
Wilson Ifill
A Step towards Merging xUML and CSP || {\| \ }B.
Rigorous Methods for Software Construction and Analysis
(2009)
Neil Evans
,
Neil Grant
Towards the Formal Verification of a Java Processor in Event-B.
Electron. Notes Theor. Comput. Sci.
201 (2008)
Neil Grant
,
Neil Evans
Towards the Formal Verification of a Java Processor in Event-B.
CPA
(2007)