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 5$^{th}$ International Workshop on Model Based Architecting and Construction of Embedded Systems, ACM, 2012.

Bibtex Entry:

@inproceedings{
	Neumann:2012pa,
	author = {Neumann, Stefan and Kluge, Norman and W\"{a}tzoldt, Sebastian},
	title = {{Automatic Transformation of Abstract AUTOSAR Architectures to Timed Automata}},
	booktitle = {Proceedings of the 5$^{th}$ International Workshop on Model Based Architecting and Construction of Embedded Systems},
	series = {ACES-MB},
	pages = {55--60},
	year = {2012},
	publisher = {ACM}
}