Sciweavers

36320 search results - page 499 / 7264
» From Code to Models
Sort
View
ICFEM
2007
Springer
15 years 10 months ago
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...
CASSIS
2004
Springer
15 years 10 months ago
Mastering Test Generation from Smart Card Software Formal Models
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...
FGR
2004
IEEE
72views Biometrics» more  FGR 2004»
15 years 10 months ago
Learning 3D Appearance Models from Video
Fernando De la Torre, Jordi Casoliva, Jeffrey F. C...