Dependable software systems engineering / / edited by Javier Esparza, Orna Grumberg, Salomon Sickert.
Saved in:
Superior document: | NATO Science for Peace and Security Series : Sub-Series D: Information and Communication Security, Volume 45 |
---|---|
TeilnehmendeR: | |
Place / Publishing House: | Amsterdam, Netherlands ;, Berlin, [Germany] ;, Washington, District of Columbia : : IOS Press,, 2016. 2016 |
Year of Publication: | 2016 |
Language: | English |
Series: | NATO science for peace and security series. Information and communication security ;
Volume 45. |
Online Access: | |
Physical Description: | 1 online resource (296 pages) :; illustrations (some color), charts, tables. |
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.) -
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.)