Sciweavers

15787 search results - page 77 / 3158
» Is Software Engineering Training Enough for Software Enginee...
Sort
View
EMSOFT
2009
Springer
15 years 10 months ago
Formal and executable contracts for transaction-level modeling in SystemC
Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...
EMSOFT
2009
Springer
15 years 10 months ago
Modeling synchronous systems in BIP
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis
88
Voted
FSEN
2009
Springer
15 years 9 months ago
Towards a Notion of Unsatisfiable Cores for LTL
Viktor Schuppan
ICSR
2009
Springer
15 years 9 months ago
Variability in Automation System Models
Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree