Søgeresultater - "Computer software Verification Congresses."
Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
-
1
Software safety and security tools for analysis and verification /
Udgivet 2012Fag: “...Computer software Verification Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog -
2
Engineering dependable software systems /
Udgivet 2013Fag: “...Computer software Verification Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog -
3
Dependable software systems engineering /
Udgivet 2015Fag: “...Computer software Verification Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk eBog -
4
Verification of infinite-state systems with applications to security
Udgivet 2006Fag: “...Computer software Verification Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog