Sciweavers

453 search results - page 2 / 91
» date 2006
Sort
View
DATE
2006
IEEE
89views Hardware» more  DATE 2006»
14 years 3 months ago
Model-based development of in-vehicle software
Mirko Conrad, Heiko Dörr
DATE
2006
IEEE
85views Hardware» more  DATE 2006»
14 years 3 months ago
Distance-guided hybrid verification with GUIDO
Smitha Shyam, Valeria Bertacco