Towards verification-based development of in-vehicle safety critical software: a case study.

Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien

Browse the full EDCC paper archive.