Software safety and security tools for analysis and verification /
Збережено в:
Співавтори: | NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany, NATO Emerging Security Challenges Division, ebrary, Inc |
---|---|
Інші автори: | Nipkow, Tobias, 1958-, Grumberg, Orna, Hauptmann, Benedikt |
Формат: | Електронний ресурс Матеріали конференцій eКнига |
Мова: | Англійська |
Опубліковано: |
Washington, D.C. :
IOS Press,
2012.
|
Серія: | NATO science for peace and security series. Information and communication security ;
v. 33. |
Предмети: | |
Онлайн доступ: | An electronic book accessible through the World Wide Web; click to view |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Схожі ресурси
Схожі ресурси
-
Software safety and security tools for analysis and verification /
Опубліковано: (2012) -
Dependable software systems engineering /
Опубліковано: (2015) -
Engineering dependable software systems /
Опубліковано: (2013) -
Dependable software systems engineering /
Опубліковано: (2015) -
Engineering dependable software systems /
Опубліковано: (2013)