A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications.

Jrgen Mottok, Frank Schiller, Thomas Vlkl, Thomas Zeitler

Browse the full SAFECOMP paper archive.