Modelling and Verification of Survivability Requirements for Critical Systems.

Simona Bernardi, Lacramioara Dranca, Jos Merseguer

Browse the full SEFM paper archive.