Zoeken

U zocht naar: Auteur Ničković, Dejan Filter Auteur: Ničković, Dejan weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Runtime Verification
thumbnail
Full text!
Auteur:
Deshmukh; Ničković, Dejan
Uitgever:
Springer International Publishing 2020
Type:
e-book
2. Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
thumbnail
Full text!
Auteur:
ter Beek; Ničković, Dejan
Uitgever:
Springer International Publishing 2020
Type:
e-book
3. Formal Modeling and Analysis of Timed Systems
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Kittler, Josef; Nickovic, Dejan
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book