An approach to the pervasive formal specification and verification of an automotive system: status report.

Thomas In der Rieden, Steffen Knapp

Browse the full FMICS paper archive.