Title: 
Runtime Verification
en
Other Titles: 
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
en
Editors: 
Bartocci, Ezio 
Majumdar, Rupak 
-
Issue Date: 
2015
-
Citation: 
Bartocci, E., & Majumdar, R. (Eds.). (2015). Runtime Verification. Springer International Publishing. https://doi.org/10.1007/978-3-319-23820-3
-
Series: 
Lecture Notes in Computer Science 
-
Publisher: 
Springer International Publishing
-
URI: 
http://hdl.handle.net/20.500.12708/24064
-
DOI: 
10.1007/978-3-319-23820-3
-
ISBN: 
9783319238197
9783319238203
-
Organisation: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Publication Type: 
Konferenzband
de
 
Proceedings
en
Appears in Collections:
Proceedings

Show full item record

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

28
checked on Sep 4, 2022

Google ScholarTM

Check