Login / Signup
Dan Slipper
Publication Activity (10 Years)
Years Active: 2011-2012
Publications (10 Years): 0
Top Topics
Safety Analysis
Tool Support
Fault Tolerant
Nuclear Power Plant
Top Venues
BMMDS/EMMSAD
</>
Publications
</>
Dan Slipper
,
Wilson Ifill
,
Gordon Hunter
,
Roger Green
,
Richard Johnson
,
Alistair A. McEwan
Towards Tool Support for Design and Safety Analysis of High Consequence Arming Systems Using Matlab.
BMMDS/EMMSAD
(2012)
Dan Slipper
,
Alistair A. McEwan
A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C.
CPA
(2011)