Sciweavers

4919 search results - page 14 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
FASE
2009
Springer
15 years 10 months ago
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
EMSOFT
2009
Springer
15 years 9 months ago
Formal and executable contracts for transaction-level modeling in SystemC
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...