Arama Sonu&ccedil;lar&#305; Computer software--Verification. - Daralt&#305;lm&#305;&#351;: Computer simulation. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002bsoftware--Verification.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-14T12:14:20Z Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612618 2026-03-14T12:14:20Z 2026-03-14T12:14:20Z Yazar&#160;Majumdar, Rupak. editor.&#160;Kun&#269;ak, Viktor. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures ent://SD_ILS/0/SD_ILS:616134 2026-03-14T12:14:20Z 2026-03-14T12:14:20Z Yazar&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Behavioural Models From Modelling Finite Automata to Analysing Business Processes ent://SD_ILS/0/SD_ILS:614579 2026-03-14T12:14:20Z 2026-03-14T12:14:20Z Yazar&#160;Kunze, Matthias. author.&#160;Weske, Mathias. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Industrial used of formal method formal verification ent://SD_ILS/0/SD_ILS:305391 2026-03-14T12:14:20Z 2026-03-14T12:14:20Z Yazar&#160;Boulanger, Jean-Louis.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Wiley <a href="http://dx.doi.org/10.1002/9781118561829">http://dx.doi.org/10.1002/9781118561829</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>