Monitoring and Measuring Hybrid Behaviors A Tutorial

Dejan Nickovic (Vortragende:r, eingeladen)

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

Originalsprache	Englisch
Titel	Runtime Verification 2015
Seiten	378-402
Seitenumfang	25
Publikationsstatus	Veröffentlicht - 2015
Veranstaltung	Runtime Verification - 6th International Conference, RV 205 - Dauer: 22 Sept. 2015 → 25 Sept. 2015

Konferenz	Runtime Verification - 6th International Conference, RV 205
Zeitraum	22/09/15 → 25/09/15

Research Field

@inproceedings{707fe8e736d34b8c822b93b2b910b82a,

title = "Monitoring and Measuring Hybrid Behaviors A Tutorial",

author = "Dejan Nickovic",

year = "2015",

language = "English",

isbn = "978-3-319-23819-7",

pages = "378--402",

booktitle = "Runtime Verification 2015",

note = "Runtime Verification - 6th International Conference, RV 205 ; Conference date: 22-09-2015 Through 25-09-2015",

}