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 2 days ago
hol-TestGen
Achim D. Brucker, Burkhart Wolff
FASE
2009
Springer
14 years 2 days ago
CADS*: Computer-Aided Development of Self-* Systems
Radu Calinescu, Marta Z. Kwiatkowska
FASE
2009
Springer
14 years 2 days ago
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
FASE
2009
Springer
14 years 2 days ago
Formal Foundation for Pattern-Based Modelling
Paolo Bottoni, Esther Guerra, Juan de Lara