Sciweavers

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