Verification of AUTOSAR Software Architectures with Timed Automata.

Steffen Beringer, Heike Wehrheim

Browse the full FMICS paper archive.