Login / Signup
Daniel Keating
Publication Activity (10 Years)
Years Active: 2011-2011
Publications (10 Years): 0
</>
Publications
</>
Daniel Keating
,
Allan McInnes
,
Michael P. Hayes
An Industrial Application of Model Checking to a Vessel Control System.
DELTA
(2011)
Daniel Keating
,
Allan McInnes
,
Michael P. Hayes
Model Checking a TTCAN Implementation.
ICST
(2011)