Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Title:
Lectures on Runtime Verification
en
Other Titles:
Introductory and Advanced Topics
-
Editors:
Bartocci, Ezio
Falcone, Ylies
-
Category:
Edited Volume
-
Issue Date:
2018
-
Citation:
Bartocci, E., & Falcone, Y. (Eds.). (2018).
Lectures on Runtime Verification
. Springer-Verlag. https://doi.org/10.1007/978-3-319-75632-5
-
Publisher:
Springer-Verlag
-
URI:
http://hdl.handle.net/20.500.12708/24493
-
DOI:
10.1007/978-3-319-75632-5
-
ISBN:
9783319756318
9783319756325
-
Organisation:
E191-01 - Forschungsbereich Cyber-Physical Systems
-
Publication Type:
Buch
de
Book
en
Appears in Collections:
Book
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
68
checked on Nov 1, 2022
Google Scholar
TM
Check