Yazar
Dejan Nickovic
4 cilt bulundu.
Cilt sonuçları
Formal Modeling and Analysis of Timed Systems
Marcin Jurdzinski, Dejan Nickovic · Springer Berlin / Heidelberg
267 sayfa · 2012
Computer simulation / System design / Machine theory / System analysis
Runtime Verification
Jyotirmoy Deshmukh, Dejan Ničković · Springer International Publishing AG
Sayfa sayısı yok · 2020
Kategori yok
Formal Methods for Industrial Critical Systems
Maurice H. ter Beek, Dejan Ničković · Springer International Publishing AG
Sayfa sayısı yok · 2020
Kategori yok
Contracts for System Design
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet · Now Publishers
Sayfa sayısı yok · 2018
System design