Login / Signup
D. Essame
Publication Activity (10 Years)
Years Active: 1997-2004
Publications (10 Years): 0
</>
Publications
</>
D. Essame
Handling Safety Critical Requirements in System Engineering Using the B Formal Method .
SAFECOMP
(2004)
D. Essame
,
Jean Arlat
,
David Powell
Available fail-safe systems.
FTDCS
(1997)