Arama Sonuçları Ait Ameur, Yamine. - Daraltılmış: Çevrimiçi KütüphaneSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dAit$002bAmeur$00252C$002bYamine.$0026qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253AONLINE$002509$0025C3$002587evrimi$0025C3$0025A7i$002bK$0025C3$0025BCt$0025C3$0025BCphane$0026ps$003d300?2024-09-21T11:47:02ZAbstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4889662024-09-21T11:47:02Z2024-09-21T11:47:02ZYazar Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43652-3">https://doi.org/10.1007/978-3-662-43652-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model and Data Engineering 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857152024-09-21T11:47:02Z2024-09-21T11:47:02ZYazar Ait Ameur, Yamine. editor. Bellatreche, Ladjel. editor. Papadopoulos, George A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11587-0">https://doi.org/10.1007/978-3-319-11587-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4847702024-09-21T11:47:02Z2024-09-21T11:47:02ZYazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4878882024-09-21T11:47:02Z2024-09-21T11:47:02ZYazar Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07512-9">https://doi.org/10.1007/978-3-319-07512-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>