Sciweavers

15777 search results - page 60 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
FASE
2009
Springer
14 years 2 months ago
hol-TestGen
Achim D. Brucker, Burkhart Wolff
FASE
2009
Springer
14 years 2 months ago
CADS*: Computer-Aided Development of Self-* Systems
Radu Calinescu, Marta Z. Kwiatkowska
FASE
2009
Springer
14 years 2 months ago
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond