Sciweavers

16859 search results - page 232 / 3372
» Generative software development
Sort
View
EDCC
2010
Springer
15 years 10 months ago
Towards verification-based development of in-vehicle safety critical software: a case study
Martijn M. H. P. van den Heuvel, Reinder J. Bril, ...