Selective Integration of Formal Methods in the Development of Electronic Control Units.

Mirko Conrad, Dieter Htzer

Browse the full ICFEM paper archive.