Sciweavers

15777 search results - page 32 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
166
Voted
EMSOFT
2001
Springer
15 years 11 months ago
Verification of Embedded Software: Problems and Perspectives
Patrick Cousot, Radhia Cousot
154
Voted
EMSOFT
2001
Springer
15 years 11 months ago
Embedded Software Market Transformation through Reusable Frameworks
Wolfgang Pree, Alessandro Pasetti
127
Voted
EWSPT
2001
Springer
15 years 11 months ago
Reporting about the Mod Software Process
Giovanni A. Cignoni