Sciweavers

5407 search results - page 18 / 1082
» The Software Engineering Global Model
Sort
View
91
Voted
EMSOFT
2009
Springer
15 years 9 months ago
Modeling synchronous systems in BIP
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis
90
Voted
ICSR
2009
Springer
15 years 9 months ago
Variability in Automation System Models
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree
78
Voted
APSEC
2008
IEEE
15 years 9 months ago
Iterative Model Fixing with Counterexamples
Tsutomu Kumazawa, Tetsuo Tamai