Executable specifications for model-based development of automotive software.

Christoph Bodenstein, Frank Lohse, Armin Zimmermann

Browse the full SMC paper archive.