Sciweavers

20 search results - page 1 / 4
» emsoft 2001
Sort
View
197
Voted
EMSOFT
2001
Springer
16 years 6 days ago
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot, Radhia Cousot
183
Voted
EMSOFT
2001
Springer
16 years 6 days ago
Embedded Software Market Transformation through Reusable Frameworks
Wolfgang Pree, Alessandro Pasetti
EMSOFT
2001
Springer
16 years 6 days ago
Hierarchical Hybrid Modeling of Embedded Systems
Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B...