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 |
Options (only for editors)
![]() |
Show editorial Details |