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]

Abstract

Abstract is missing.