A Formal Model for Stateful and Variant-Rich Automotive Functions.

Michael Kmeyer, Peter Bazan, Markus Schurius, Rdiger Berndt, Reinhard German

Browse the full ISSRE paper archive.