Sciweavers

10239 search results - page 131 / 2048
» Postmodern Software Development
Sort
View
EDCC
2010
Springer
15 years 1 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, ...