Sciweavers

15951 search results - page 80 / 3191
» Lawful software engineering
Sort
View
FASE
2009
Springer
16 years 5 days ago
hol-TestGen
Achim D. Brucker, Burkhart Wolff
FASE
2009
Springer
16 years 5 days ago
CADS*: Computer-Aided Development of Self-* Systems
Radu Calinescu, Marta Z. Kwiatkowska
FASE
2009
Springer
16 years 5 days ago
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond