Software safety and security tools for analysis and verification /
Uloženo v:
Korporace: | NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany, NATO Emerging Security Challenges Division, ebrary, Inc |
---|---|
Další autoři: | Nipkow, Tobias, 1958-, Grumberg, Orna, Hauptmann, Benedikt |
Médium: | Elektronický zdroj Konferenční příspěvek E-kniha |
Jazyk: | angličtina |
Vydáno: |
Washington, D.C. :
IOS Press,
2012.
|
Edice: | NATO science for peace and security series. Information and communication security ;
v. 33. |
Témata: | |
On-line přístup: | An electronic book accessible through the World Wide Web; click to view |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
-
Software safety and security tools for analysis and verification /
Vydáno: (2012) -
Dependable software systems engineering /
Vydáno: (2015) -
Engineering dependable software systems /
Vydáno: (2013) -
Engineering dependable software systems /
Vydáno: (2013) -
Dependable software systems engineering /
Vydáno: (2015)