Sciweavers

20 search results - page 1 / 4
» emsoft 2001
Sort
View
78
Voted
EMSOFT
2001
Springer
15 years 2 months ago
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot, Radhia Cousot
92
Voted
EMSOFT
2001
Springer
15 years 2 months ago
Directions in Functional Programming for Real(-Time) Applications
Walid Taha, Paul Hudak, Zhanyong Wan
61
Voted
EMSOFT
2001
Springer
15 years 2 months ago
Hierarchical Hybrid Modeling of Embedded Systems
Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B...