Search Sciweavers | Sciweavers

19587 search results - page 9 / 3918

» Systems Engineering for software Engineers

112

click to vote

EMSOFT
2009
Springer

93views Software Engineering» more EMSOFT 2009»

Formal and executable contracts for transaction-level modeling in SystemC

16 years 12 days ago

Download www-verimag.imag.fr

Tayeb Bouhadiba, Florence Maraninchi, Giovanni Fun...

claim paper

Read More »

124

click to vote

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

16 years 12 days ago

Download www-verimag.imag.fr

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

claim paper

Read More »

138

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

16 years 12 days ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

122

click to vote

ICSR
2009
Springer

113views Software Engineering» more ICSR 2009»

Variability in Automation System Models

16 years 12 days ago

Download embeddedcmmi.at

Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree

claim paper

Read More »

146

click to vote

QOSA
2009
Springer

96views Software Engineering» more QOSA 2009»

Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers