Software and systems safety: specification and verification
Auteur :
Broy, M.
ISBN :
9781607507109
Date de publication :
1 avr. 2011
Langue :
Anglais
Pays d'origine :
USA
Presents contributions based on the lectures delivered at the 31st International Summer School: Software and Systems Safety: Specification and Verification held at Marktoberdorf, Germany, in August 2010. This book provides an overview of research results with an emphasis on software information security.