Engineering Dependable Software Systems.

Afficher d'autres versions (1)

Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its deve...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Broy, M.
Autres auteurs: Peled, D., Kalus, G.
Format: Électronique eBook
Langue:Inglés
Publié: Amsterdam : IOS Press, 2013.
Collection:NATO science for peace and security series. Information and communication security.
Sujets:
Computer software > Verification > Congresses.
Computer systems > Verification > Congresses.
Logiciels > Vérification > Congrès.
Systèmes informatiques > Vérification > Congrès.
Computer software > Verification
Computer systems > Verification
Conference papers and proceedings
Accès en ligne:Texto completo
Description
Résumé:Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced Study Institute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany, in July and August 20.
Description matérielle:1 online resource (376 pages)
Bibliographie:Includes bibliographical references and indexes.
ISBN:9781614992073
161499207X

Documents similaires