Engineering dependable software systems / / edited by Manfred Broy, Doron Peled and Georg Kalus.
Saved in:
Superior document: | NATO science for peace and security series. Sub-series D, Information and communication security ; volume 34 |
---|---|
: | |
TeilnehmendeR: | |
Place / Publishing House: | Amsterdam ;, Washington, D. C. : : IOS Press,, [2013] 2013 |
Year of Publication: | 2013 |
Language: | English |
Series: | NATO science for peace and security series. Information and communication security ;
v. 34. |
Online Access: | |
Physical Description: | 1 online resource (376 pages) :; illustrations. |
Notes: |
|
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.) -
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]) -
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.
Published: (c2007.)