Name Card

Full name Familienname, Vorname
Jakšić, Stefan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nguyen, Thang ; Ničković, Dejan Quantitative monitoring of STL with edit distanceArtikel Article 2018
2Jaksic Stefan - 2018 - Real-time monitoring for correctness and robustness.pdf.jpgJakšić, Stefan Real-time monitoring for correctness and robustnessThesis Hochschulschrift 2018
3Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Ničković, Dejan Quantitative Monitoring of STL with Edit DistanceKonferenzbeitrag Inproceedings 2016