Skip to main content
1
Views

Modelling and Verification of Survivability Requirements for Critical Systems

How to cite:
Simona Bernardi, Lacramioara Dranca, José Merseguer
"Modelling and Verification of Survivability Requirements for Critical Systems"
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS,
,
(2014):