Software system reliability and security / edited by Manfred Broy, Johannes Grunbauer and Tony Hoare.
Saved in:
Superior document: | NATO security through science series. Sub-series D, Information and communication security, v. 9 |
---|---|
: | |
TeilnehmendeR: | |
Year of Publication: | 2007 |
Language: | English |
Series: | NATO security through science series. Information and communication security ;
v. 9. |
Online Access: | |
Physical Description: | ix, 417 p. :; ill. |
Notes: | "The contributions in this volume have emerged from lectures of the 27th International Summer School on Software System Reliability and Security, held at Marktoberdorf from August 1 to August 13, 2006."--Pref., p. vi. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Artificial neural network for software reliability prediction / / by Manjubala Bisi and Neeraj Kumar Goyal.
by: Bisi, Manjubala,
Published: (2017.) -
Logics and languages for reliability and security / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.
Published: (2010.) -
Security, privacy and reliability in computer communications and networks / / Kewei Sha, Aaron Striegel and Min Song, editors.
Published: ([2017]) -
Core software security : : security at the source / / James Ransome, Anmol Misra ; contributing author (chapter 9), Brook Schoenfield ; foreword by Howard Schmidt.
by: Ransome, James.
Published: ([2014]) -
Formal Verification of Control System Software / / Pierre-Loïc Garoche.
by: Garoche, Pierre-Loïc,
Published: ([2019])