-
1
Software system reliability and security
Published 2007Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
2
Software safety and security tools for analysis and verification /
Published 2012Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
3
Software safety and security tools for analysis and verification /
Published 2012Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
4
Software system reliability and security
Published 2007Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
5
Software and systems safety specification and verification /
Published 2011Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
6
Software and systems safety specification and verification /
Published 2011Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
7
Verification of infinite-state systems with applications to security
Published 2006Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
8
Verification of infinite-state systems with applications to security
Published 2006Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook