Search

You searched for: Auteur Nickovic, Dejan Remove constraint Auteur: Nickovic, Dejan
1 - 3 of 3
Number of results to display per page

Search Results

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