TU Darmstadt / ULB / TUbiblio

Model-Based Generation of Run-Time Monitors for AUTOSAR

Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2013
Herausgeber: Gorp, Pieter Van ; Ritter, Tom ; Rose, Louis
Autor(en): Patzina, Lars ; Patzina, Sven ; Piper, Thorsten ; Manns, Paul
Art des Eintrags: Bibliographie
Titel: Model-Based Generation of Run-Time Monitors for AUTOSAR
Sprache: Englisch
Publikationsjahr: 2013
Verlag: Springer
Buchtitel: Modelling Foundations and Applications
Reihe: Lecture Notes in Computer Science
Band einer Reihe: 7949
Veranstaltungsort: Montpellier
DOI: 10.1007/978-3-642-39013-5_6
Freie Schlagworte: Secure Things, AUTOSAR, extended live sequence charts, model-based, monitor petri nets, run-time monitoring, signatures
ID-Nummer: TUD-CS-2013-0204
Fachbereich(e)/-gebiet(e): LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
Hinterlegungsdatum: 30 Dez 2016 20:23
Letzte Änderung: 25 Nov 2021 10:32
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen