TU Darmstadt / ULB / TUbiblio

Model-Based Generation of Run-Time Monitors for AUTOSAR

Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul
eds.: Gorp, Pieter Van ; Ritter, Tom ; Rose, Louis (2013)
Model-Based Generation of Run-Time Monitors for AUTOSAR.
Montpellier
doi: 10.1007/978-3-642-39013-5_6
Conference or Workshop Item, Bibliographie

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
Type of entry: Bibliographie
Title: Model-Based Generation of Run-Time Monitors for AUTOSAR
Language: English
Date: 2013
Publisher: Springer
Book Title: Modelling Foundations and Applications
Series: Lecture Notes in Computer Science
Series Volume: 7949
Event Location: Montpellier
DOI: 10.1007/978-3-642-39013-5_6
Uncontrolled Keywords: Secure Things, AUTOSAR, extended live sequence charts, model-based, monitor petri nets, run-time monitoring, signatures
Identification Number: TUD-CS-2013-0204
Divisions: LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
Date Deposited: 30 Dec 2016 20:23
Last Modified: 25 Nov 2021 10:32
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