Software engineering for resilient systems
Auteur :
Troubitsyna, Elena A.
ISBN :
9783642241239
Date de publication :
19 sept. 2011
Dimensions :
23,4 x 15,6 x 0,9 cm
Poids :
278 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. This title includes the papers that address various aspects of formal modeling and verification, architecting resilient systems, and security and intrusion avoidance.