Automatic transformation of abstract AUTOSAR architectures to timed automata

Stefan Neumann 0002, Norman Kluge, Sebastian Wätzoldt. Automatic transformation of abstract AUTOSAR architectures to timed automata. In Iulian Ober, editor, Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012. pages 55-60, ACM, 2012. [doi]

Authors

Stefan Neumann 0002

This author has not been identified. Look up 'Stefan Neumann 0002' in Google

Norman Kluge

This author has not been identified. Look up 'Norman Kluge' in Google

Sebastian Wätzoldt

This author has not been identified. Look up 'Sebastian Wätzoldt' in Google