Yazar
Jan Friso Groote
6 cilt bulundu.
Cilt sonuçları
Modeling and Analysis of Communicating Systems
Jan Friso Groote, Mohammad Reza Mousavi · MIT Press
392 sayfa · 2014
Telecommunication systems / Computer science, mathematics / Machine theory / Simulation methods / Computer science
Understanding Behaviour of Distributed Systems Using MCRL2
Muhammad Atif, Jan Friso Groote · Springer International Publishing AG
Sayfa sayısı yok · 2023
Kategori yok
Tales of Electrologica
Gerard Alberts, Jan Friso Groote · Springer International Publishing AG
Sayfa sayısı yok · 2022
Kategori yok
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote, Kim Guldstrand Larsen · Springer International Publishing AG
Sayfa sayısı yok · 2021
Kategori yok
Formal Methods for Industrial Critical Systems
Jan Friso Groote, Marieke Huisman · Springer International Publishing AG
Sayfa sayısı yok · 2022
Kategori yok