Sciweavers

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