Skip to content

Automatic transformation of abstract AUTOSAR architectures to timed automata.

Stefan Neumann, Norman Kluge, Sebastian Wtzoldt

VenueAMODELS
Year2012
ProceedingsACES-MB@MoDELS

Browse the full MODELS paper archive.