TY - CONF
AU - Simona Bernardi
AU - Lacramioara Dranca
AU - José Merseguer
BT - Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS
CY - Grenoble, France
DA - September 1-2
LA - eng
PP - Grenoble, France
PY - 2014
T2 - Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS
TI - Modelling and Verification of Survivability Requirements for Critical Systems
ER -