Toggle navigation
reposiTUm
ÜBER REPOSITUM
HILFE
Anmelden
Aktuelles
Browsen nach
Publikationstypen
Organisationseinheiten
Forschende
Projekte
TU Wien Academic Press
Open-Access-Schriftenreihen
Hochschulschriften
Digitalisate
Erscheinungsjahr
Datensatz Zitierlink:
http://hdl.handle.net/20.500.12708/24493
-
Titel:
Lectures on Runtime Verification
en
Zitat:
Bartocci, E., & Falcone, Y. (Eds.). (2018).
Lectures on Runtime Verification
. Springer-Verlag. https://doi.org/10.1007/978-3-319-75632-5
-
Verlags-DOI:
10.1007/978-3-319-75632-5
-
Publikationstyp:
Buch - Sammelband
de
Herausgeber_innen:
Bartocci, Ezio
Falcone, Ylies
-
Organisationseinheit:
E191-01 - Forschungsbereich Cyber-Physical Systems
-
Reihe:
Lecture Notes in Computer Science
-
ISBN:
9783319756318
9783319756325
-
Datum (veröffentlicht):
2018
-
Umfang:
VII, 233
-
Verlag:
Springer-Verlag
-
Wissenschaftszweig:
Informatik
-
Enthalten in den Sammlungen:
Book
Zur Langanzeige
Seiten Aufrufe
220
aufgerufen am 23.11.2023
Google Scholar
TM
Check