Dependable software systems engineering /
In the last few years we have all become daily users of Internet banking, social networks and cloud services. Preventing malfunctions in these services and protecting the integrity of private data from cyber attack are both current preoccupations of society at large. While modern technologies have d...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany) |
Otros Autores: | Esparza, Javier (Editor ), Grumberg, Orna (Editor ), Sickert, Salomon (Editor ) |
Formato: | Electrónico Congresos, conferencias eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam, Netherlands :
IOS Press,
2016.
|
Colección: | NATO science for peace and security series. Information and communication security ;
vol. 45. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Dependable software systems engineering /
Publicado: (2016) -
Software security engineering : a guide for project managers /
Publicado: (2008) -
Cyber defence in Industry 4.0 systems and related logistics and IT infrastructures /
Publicado: (2018) -
Software systems safety /
Publicado: (2014) -
Software systems safety /
Publicado: (2014)