Hakutulokset - "Computer software Verification Congresses."
Aihe-ehdotuksia
Aihe-ehdotuksia
-
1
Software safety and security tools for analysis and verification /
Julkaistu 2012Aiheet: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Elektroninen Konferenssijulkaisu E-kirja -
2
Engineering dependable software systems /
Julkaistu 2013Aiheet: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Elektroninen Konferenssijulkaisu E-kirja -
3
Dependable software systems engineering /
Julkaistu 2015Aiheet: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Elektroninen E-kirja -
4
Verification of infinite-state systems with applications to security
Julkaistu 2006Aiheet: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Elektroninen Konferenssijulkaisu E-kirja