Fingerprint
Dive into the research topics of 'Towards verification-based development of in-vehicle safety critical software: a case study'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Towards verification-based development of in-vehicle safety critical software: a case study
M.M.H.P. Heuvel, van den, R.J. Bril, P. Velde, van de, J.J. Lukkien
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review