Search Results for Formal methods (Computer science) - Narrowed by: Robotics.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026qf$003dSUBJECT$002509Subject$002509Robotics.$002509Robotics.$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-20T18:40:14ZGo Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:6018112026-03-20T18:40:14Z2026-03-20T18:40:14ZAuthor Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92196-4">https://doi.org/10.1007/978-3-031-92196-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Productionent://SD_ILS/0/SD_ILS:6118712026-03-20T18:40:14Z2026-03-20T18:40:14ZAuthor Różewski, Przemysław. editor. Novikov, Dmitry. editor. Bakhtadze, Natalia. editor. Zaikin, Oleg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23338-3">https://doi.org/10.1007/978-3-319-23338-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>