Yazar
Stefan Leue
7 cilt bulundu.
Cilt sonuçları
Model checking software
Stefan Leue · Springer
259 sayfa · 2002
SPIN (Computer file) / Congresses / Verification / Computer software / Computer simulation
Scenarios: Models, Transformations and Tools
Stefan Leue · Springer
277 sayfa · 2005
Computer network protocols / Graphic methods / Congresses / Software engineering / Semantics
Theoretical and Practical Aspects of SPIN Model Checking
Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok