Modelling and Verification of Survivability Requirements for Critical Systems.

Simona Bernardi Lacramioara Dranca José Merseguer

Published in: SEFM Workshops (2014)

Keyphrases

management system
computer systems
complex systems
real time systems
expert systems
distributed systems
uml models
real time
information retrieval
artificial intelligence
web services
legacy systems
design criteria