Search Results for Telemetry - Narrowed by: 2023SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTelemetry$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ps$003d300?2024-11-08T06:28:12ZApplicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5210732024-11-08T06:28:12Z2024-11-08T06:28:12ZAuthor Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521073.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40132-9">https://doi.org/10.1007/978-3-031-40132-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Emerging Technologies for Developing Countries 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5204852024-11-08T06:28:12Z2024-11-08T06:28:12ZAuthor Masinde, Muthoni. editor. (orcid) Bagula, Antoine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520485.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35883-8">https://doi.org/10.1007/978-3-031-35883-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>