Torthaí cuardaigh - "Computer software Verification Congresses."
Topaicí molta laistigh de do chuardach.
Topaicí molta laistigh de do chuardach.
-
1
Software safety and security tools for analysis and verification /
Foilsithe / Cruthaithe 2012Ábhair: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Leictreonach Imeacht comhdhála Ríomhleabhar -
2
Engineering dependable software systems /
Foilsithe / Cruthaithe 2013Ábhair: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Leictreonach Imeacht comhdhála Ríomhleabhar -
3
Dependable software systems engineering /
Foilsithe / Cruthaithe 2015Ábhair: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Leictreonach Ríomhleabhar -
4
Verification of infinite-state systems with applications to security
Foilsithe / Cruthaithe 2006Ábhair: “…Computer software Verification Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Leictreonach Imeacht comhdhála Ríomhleabhar