Search Results for Computer systems -- Verification. - Narrowed by: Online LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bsystems$002b--$002bVerification.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ps$003d300$0026isd$003dtrue?2025-12-28T15:18:28ZVerification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4858202025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35092-5">https://doi.org/10.1007/978-3-030-35092-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000752025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1946542025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21292-5">http://dx.doi.org/10.1007/978-3-642-21292-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lecturesent://SD_ILS/0/SD_ILS:1840022025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208892025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211402025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42823-4">https://doi.org/10.1007/978-3-031-42823-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213242025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5190782025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15201-1">https://doi.org/10.1007/978-3-319-15201-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Biomedical Knowledge Representation Methods and Applicationsent://SD_ILS/0/SD_ILS:5193002025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Hommersom, Arjen. editor. Lucas, Peter J.F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28007-3">https://doi.org/10.1007/978-3-319-28007-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling in Event-B system and software engineeringent://SD_ILS/0/SD_ILS:2779932025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Abrial, Jean-Raymond.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of digital human modeling : research for applied ergonomics and human factors engineeringent://SD_ILS/0/SD_ILS:5451232025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Duffy, Vincent G.<br/>Preferred Shelf Number TA166 .H2735 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420063523">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Reconfigurable system design and verificationent://SD_ILS/0/SD_ILS:5454722025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Hsiung, Pao-Ann, author. Huang, Chun-Hsian. Santambrogio, Marco D. (Marco Domenico)<br/>Preferred Shelf Number TK7895 .E42 H79 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420062670">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Pharmaceutical process validationent://SD_ILS/0/SD_ILS:5433472025-12-28T15:18:28Z2025-12-28T15:18:28ZAuthor Berry, Ira R., 1942- Nash, Robert A., 1930-<br/>Preferred Shelf Number RS189 .P46 2003<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781135542870">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>