Search Results for Computer software -- Verification -- Congresses.SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dComputer$002bsoftware$002b--$002bVerification$002b--$002bCongresses.$0026ps$003d300?dt=list2026-09-18T14:04:22ZDependable software systems engineeringent://SD_ILS/0/SD_ILS:11008982026-09-18T14:04:22Z2026-09-18T14:04:22Zby Irlbeck, Maximilian, editor.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=3563924">Click to View</a><br/>Format: Electronic Resources<br/>Engineering dependable software systemsent://SD_ILS/0/SD_ILS:10212532026-09-18T14:04:22Z2026-09-18T14:04:22Zby NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=1477301">Click to View</a><br/>Format: Electronic Resources<br/>Software safety and security tools for analysis and verificationent://SD_ILS/0/SD_ILS:9967432026-09-18T14:04:22Z2026-09-18T14:04:22Zby NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=948331">Click to View</a><br/>Format: Electronic Resources<br/>Verification of infinite-state systems with applications to securityent://SD_ILS/0/SD_ILS:9347182026-09-18T14:04:22Z2026-09-18T14:04:22Zby NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=265966">Click to View</a><br/>Format: Electronic Resources<br/>