Derek Mannering

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Derek Mannering, Jon G. Hall, Lucia Rapanotti
Safety Process Improvement with POSE and Alloy. SSS (2008)
Derek Mannering, Jon G. Hall, Lucia Rapanotti
Towards Normal Design for Safety-Critical Systems. FASE (2007)
Derek Mannering, Jon G. Hall, Lucia Rapanotti
Safety Process Improvement with POSE and Alloy. SAFECOMP (2007)
Jon G. Hall, Derek Mannering, Lucia Rapanotti
Arguing safety with Problem Oriented Software Engineering. HASE (2007)