TU Darmstadt / ULB / TUbiblio

Model-Based Generation of Run-Time Monitors for AUTOSAR

Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul
Gorp, Pieter Van ; Ritter, Tom ; Rose, Louis (eds.) (2013):
Model-Based Generation of Run-Time Monitors for AUTOSAR.
In: Lecture Notes in Computer Science, 7949, In: Modelling Foundations and Applications, p. 70,
Springer, Montpellier, ISBN 978-3-642-39012-8,
DOI: 10.1007/978-3-642-39013-5_6,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2013
Editors: Gorp, Pieter Van ; Ritter, Tom ; Rose, Louis
Creators: Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul
Title: Model-Based Generation of Run-Time Monitors for AUTOSAR
Language: English
Book Title: Modelling Foundations and Applications
Series: Lecture Notes in Computer Science
Series Volume: 7949
Publisher: Springer
ISBN: 978-3-642-39012-8
Uncontrolled Keywords: Secure Things, AUTOSAR, extended live sequence charts, model-based, monitor petri nets, run-time monitoring, signatures
Divisions: LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
Event Location: Montpellier
Date Deposited: 30 Dec 2016 20:23
DOI: 10.1007/978-3-642-39013-5_6
Identification Number: TUD-CS-2013-0204
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details