Sciweavers

27 search results - page 1 / 6
» fase 2009
Sort
View
95
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
FASE
2009
Springer
15 years 10 months ago
CADS*: Computer-Aided Development of Self-* Systems
Radu Calinescu, Marta Z. Kwiatkowska
FASE
2009
Springer
15 years 10 months ago
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
FASE
2009
Springer
15 years 10 months ago
Formal Foundation for Pattern-Based Modelling
Paolo Bottoni, Esther Guerra, Juan de Lara