Software for dependable systems : sufficient evidence? / / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
Saved in:
: | |
---|---|
TeilnehmendeR: | |
Year of Publication: | 2007 |
Language: | English |
Online Access: | |
Physical Description: | xv, 131 p. :; ill. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Dependable software systems engineering / / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.
Published: (2017.) -
Dependable software systems engineering / / edited by Javier Esparza, Orna Grumberg, Salomon Sickert.
Published: (2016.) -
Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus.
Published: ([2013]) -
Dependable software systems engineering / / edited by Maximilian Irlbeck, Doron Peled and Alexander Pretschner.
Published: (2015.) -
Engineering secure and dependable software systems / / edited by Alexander Pretschner, Peter Muller and Patrick Stockle ; published in cooperation with NATO Emerging Security Challenges Division.
Published: ([2019])