Yazar
maurice h ter beek
8 cilt bulundu.
Cilt sonuçları
Formal Methods for Industrial Critical Systems
Maurice H. ter Beek, Dejan Ničković · Springer International Publishing AG
Sayfa sayısı yok · 2020
Kategori yok
Integrated Formal Methods
Maurice H. ter Beek, Rosemary Monahan · Springer International Publishing AG
Sayfa sayısı yok · 2022
Kategori yok
Critical Systems : Formal Methods and Automated Verification
Maurice H. Ter Beek, Stefania Gnesi, Alexander Knapp · Springer International Publishing AG
247 sayfa · 2016
Computer science
Architecting Dependable Systems VI
Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek · Springer London, Limited
335 sayfa · 2009
Kategori yok