Towards the Formal Verification of Lower System Layers in Automotive Systems.

Sven Beyer, Peter Bhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul

Browse the full ICCD paper archive.