Login / Signup
Nick Tudor
Publication Activity (10 Years)
Years Active: 2007-2020
Publications (10 Years): 1
Top Topics
Theorem Prover
Databases
Autonomous Underwater Vehicle
Lessons Learned
Top Venues
FormaliSE@ICSE
</>
Publications
</>
Simon Foster
,
Yakoub Nemouchi
,
Colin O'Halloran
,
Karen Stephenson
,
Nick Tudor
Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.
FormaliSE@ICSE
(2020)
Antony Powell
,
John Murdoch
,
Nick Tudor
Modeling Risk-Benefit Assumptions in Technology Substitution.
ICSP
(2007)