Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/24064
-
Titel: 
Runtime Verification
en
Zitat: 
Bartocci, E., & Majumdar, R. (Eds.). (2015). Runtime Verification. Springer International Publishing. https://doi.org/10.1007/978-3-319-23820-3
-
Verlags-DOI: 
10.1007/978-3-319-23820-3
-
Publikationstyp: 
Konferenzband - Full Paper Book
de
Herausgeber_innen: 
Bartocci, Ezio 
Majumdar, Rupak 
-
Organisations­einheit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Reihe: 
Lecture Notes in Computer Science 
-
ISBN: 
9783319238197
9783319238203
-
Datum (veröffentlicht): 
2015
-
Umfang: 
432
-
Verlag: 
Springer International Publishing
-
Peer Reviewed: 
Ja
-
Wissenschafts­zweig: 
Informatik
-
Enthalten in den Sammlungen:
Proceedings

Zur Langanzeige

Seiten Aufrufe

199
aufgerufen am 23.11.2023

Google ScholarTM

Check