Sciweavers

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