檢索結果 - Grumberg, Orna
-
1
Logics and languages for reliability and security
出版 2010其他作者: “...Grumberg, Orna...”
An electronic book accessible through the World Wide Web; click to view
電子 電子書 -
2
Software systems safety /
出版 2014其他作者: “...Grumberg, Orna...”
An electronic book accessible through the World Wide Web; click to view
電子 電子書 -
3
Formal logical methods for system security and correctness
出版 2008其他作者: “...Grumberg, Orna...”
An electronic book accessible through the World Wide Web; click to view
電子 Conference Proceeding 電子書 -
4
Software safety and security tools for analysis and verification /
出版 2012其他作者: “...Grumberg, Orna...”
An electronic book accessible through the World Wide Web; click to view
電子 Conference Proceeding 電子書