Sciweavers

22698 search results - page 7 / 4540
» Modeling in Software Engineering
Sort
View
FASE
2009
Springer
14 years 2 months ago
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
EMSOFT
2009
Springer
14 years 1 months ago
Modeling synchronous systems in BIP
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis
ICSR
2009
Springer
14 years 1 months ago
Variability in Automation System Models
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree