Sciweavers

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