Dependable software systems engineering / / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.
Saved in:
Superior document: | NATO Science for Peace and Security Series-D: Information and Communication Security ; Volume 50 |
---|---|
TeilnehmendeR: | |
Place / Publishing House: | Amsterdam, Netherlands : : IOS Press,, 2017. 2017 |
Year of Publication: | 2017 |
Language: | English |
Series: | NATO science for peace and security series. Sub-series D, Information and communication security ;
Volume 50. |
Online Access: | |
Physical Description: | 1 online resource (256 pages). |
Notes: | Includes indexes. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
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]) -
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.)