Software and systems safety specification and verification /
Saved in:
Corporate Authors: | ebrary, Inc, NATO Advanced Study Institute on Software and Systems Safety : Specification and Verification |
---|---|
Other Authors: | Broy, Manfred, Leuxner, Christian, Hoare, A. G. |
Format: | Electronic Conference Proceeding eBook |
Language: | English |
Published: |
Amsterdam, The Netherlands :
IOS Press,
2011.
|
Series: | NATO science for peace and security series. Information and communication security ;
v. 30. |
Subjects: | |
Online Access: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Software and systems safety specification and verification /
Published: (2011) -
Software systems safety /
Published: (2014) -
Software systems safety /
Published: (2014) -
Software system reliability and security
Published: (2007) -
Software system reliability and security
Published: (2007)