Bilaketaren emaitzak - "Computer software Verification Congresses."
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
-
1
Software safety and security tools for analysis and verification /
Argitaratua 2012Gaiak: “...Computer software Verification Congresses....”
An electronic book accessible through the World Wide Web; click to view
Baliabide elektronikoa Konferentzia-aktak eBook -
2
Engineering dependable software systems /
Argitaratua 2013Gaiak: “...Computer software Verification Congresses....”
An electronic book accessible through the World Wide Web; click to view
Baliabide elektronikoa Konferentzia-aktak eBook -
3
Dependable software systems engineering /
Argitaratua 2015Gaiak: “...Computer software Verification Congresses....”
An electronic book accessible through the World Wide Web; click to view
Baliabide elektronikoa eBook -
4
Verification of infinite-state systems with applications to security
Argitaratua 2006Gaiak: “...Computer software Verification Congresses....”
An electronic book accessible through the World Wide Web; click to view
Baliabide elektronikoa Konferentzia-aktak eBook