Software and systems safety : specification and verification ; [proceedings of the NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification, Marktoberdorf, Germany, 3 - 15 August 2010 ; the 31st International Summer School Marktoberdorf]

Software and systems safety specification and verification ; [proceedings of the NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification, Marktoberdorf, Germany, 3 - 15 August 2010 ; the 31st International Summer School Marktoberdorf]

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Broy, Manfred (BerichterstatterIn), Leuxner, Christian (BerichterstatterIn), Hoare, Tony (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Amsterdam u.a. IOS Press 2011
Schriftenreihe:NATO science for peace and security series D, Information and communication security 30
Schlagworte:
Computer security > Computer software > Verification > Software engineering > Konferenzschrift > Sicherheitskritisches System > Computersicherheit
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Publ. in cooperation with NATO Emerging Security Challenges Division
Beschreibung:IX, 285 S.
Ill., graph. Darst.
24 cm028A
ISBN:1607507102
1-60750-710-2
9781607507109
978-1-60750-710-9