Engineering Dependable Software Systems.

Mostrar otras versiones (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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Broy, M.
Otros Autores: Peled, D., Kalus, G.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, 2013.
Colección:NATO science for peace and security series. Information and communication security.
Temas:
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
Acceso en línea:Texto completo
Descripción
Sumario: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.
Descripción Física:1 online resource (376 pages)
Bibliografía:Includes bibliographical references and indexes.
ISBN:9781614992073
161499207X

Ejemplares similares