Search Sciweavers | Sciweavers

7209 search results - page 33 / 1442

» Software Engineering for Multi-Agent Systems

click to vote

EMSOFT
2009
Springer

85views Software Engineering» more EMSOFT 2009»

Modeling synchronous systems in BIP

14 years 3 months ago

Download www-verimag.imag.fr

Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis

claim paper

Read More »

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

14 years 3 months ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

click to vote

ICSR
2009
Springer

113views Software Engineering» more ICSR 2009»

Variability in Automation System Models

14 years 3 months ago

Download embeddedcmmi.at

Gerd Dauenhauer, Thomas Aschauer, Wolfgang Pree

claim paper

Read More »

click to vote

QOSA
2009
Springer

96views Software Engineering» more QOSA 2009»

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

14 years 3 months ago

Download www.dre.vanderbilt.edu

Amogh Kavimandan, Aniruddha S. Gokhale

claim paper

Read More »

click to vote

INDIASE
2009
ACM

132views Software Engineering» more INDIASE 2009»

Integrated specification and quality assurance for large business information systems

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers