%0 Conference Proceedings
%B Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS
%C Grenoble, France
%D 2014
%G eng
%T Modelling and Verification of Survivability Requirements for Critical Systems
%8 September 1-2