Automatic Transformation of Abstract AUTOSAR Architectures to Timed Automata (bibtex)
by , ,
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{Neumann:2012pa,
AUTHOR = {Neumann, Stefan and Kluge, Norman and Wä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},
}
Powered by bibtexbrowser