Sciweavers

27 search results - page 1 / 6
» fase 2009
Sort
View
93
Voted
FASE
2009
Springer
15 years 8 months ago
On the Implementation of @pre
Piotr Kosiuczenko
FASE
2009
Springer
15 years 10 months ago
hol-TestGen
Achim D. Brucker, Burkhart Wolff
107
Voted
FASE
2009
Springer
15 years 10 months ago
CADS*: Computer-Aided Development of Self-* Systems
Radu Calinescu, Marta Z. Kwiatkowska
102
Voted
FASE
2009
Springer
15 years 10 months ago
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
106
Voted
FASE
2009
Springer
15 years 10 months ago
Formal Foundation for Pattern-Based Modelling
Paolo Bottoni, Esther Guerra, Juan de Lara