Sciweavers

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