Peter van de Velde

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien
Towards verification-based development of in-vehicle safety critical software: a case study. EDCC-CARS (2010)