Automatic Transformation of Abstract AUTOSAR Architectures to Timed Automata

Neumann, Stefan; Kluge, Norman; Wätzoldt, Sebastian

by Stefan Neumann, Norman Kluge, Sebastian Wätzoldt

Reference:

Automatic Transformation of Abstract AUTOSAR Architectures to Timed Automata (Stefan Neumann, Norman Kluge, Sebastian Wätzoldt), In Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACM, 2012.

Bibtex Entry:

@InProceedings{SNNK12,
AUTHOR = {Neumann, Stefan and Kluge, Norman and W\"{a}tzoldt, Sebastian},
TITLE = {{Automatic Transformation of Abstract AUTOSAR Architectures to Timed Automata}},
YEAR = {2012},
BOOKTITLE = {Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems},
PAGES = {55--60},
SERIES = {ACES-MB \'12},
ADDRESS = {New York, NY, USA},
PUBLISHER = {ACM},
PDF = {uploads/pdf/SNNK12_p55-neumann.pdf}
}