Record link: 
http://hdl.handle.net/20.500.12708/24493
-
Title: 
Lectures on Runtime Verification
en
Citation: 
Bartocci, E., & Falcone, Y. (Eds.). (2018). Lectures on Runtime Verification. Springer-Verlag. https://doi.org/10.1007/978-3-319-75632-5
-
Publisher DOI: 
10.1007/978-3-319-75632-5
-
Publication Type: 
Book - Edited Volume
en
Editors: 
Bartocci, Ezio 
Falcone, Ylies 
-
Organisational Unit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Series: 
Lecture Notes in Computer Science 
-
ISBN: 
9783319756318
9783319756325
-
Date (published): 
2018
-
Number of Pages: 
VII, 233
-
Publisher: 
Springer-Verlag
-
Science Branch: 
Informatik
-
Appears in Collections:
Book

Show full item record

Page view(s)

182
checked on Nov 23, 2023

Google ScholarTM

Check