Zoeken

U zocht naar: Auteur Nickovic, Dejan Filter Auteur: Nickovic, Dejan weghalen Taal Engels Filter Taal: Engels weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. 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
2. Runtime Verification
thumbnail
Full text!
Auteur:
Deshmukh; Ničković, Dejan
Uitgever:
Springer International Publishing 2020
Type:
e-book
3. 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