Sciweavers

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