Sciweavers

12551 search results - page 152 / 2511
» Reuse in Systems Engineering
Sort
View
FASE
2009
Springer
16 years 1 months ago
CADS*: Computer-Aided Development of Self-* Systems
Radu Calinescu, Marta Z. Kwiatkowska
EMSOFT
2009
Springer
16 years 1 months ago
Formal and executable contracts for transaction-level modeling in SystemC
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...
EMSOFT
2009
Springer
16 years 1 months ago
Modeling synchronous systems in BIP
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis