Search Sciweavers | Sciweavers

2811 search results - page 38 / 563

» Real-Time Component-Based Systems

click to vote

RTSS
1994
IEEE

85views Control Systems» more RTSS 1994»

Computing Quantitative Characteristics of Finite-State Real-Time Systems

14 years 26 days ago

Download www.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

click to vote

HYBRID
1995
Springer

150views Control Systems» more HYBRID 1995»

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems

14 years 9 days ago

Download www.brics.dk

Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...

claim paper

Read More »

click to vote

LCTRTS
1995
Springer

83views System Software» more LCTRTS 1995»

Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems

14 years 9 days ago

Download www-2.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

click to vote

RTSS
1995
IEEE

131views Control Systems» more RTSS 1995»

The Design of Large Real-Time Systems: The Time-Triggered Approach

14 years 9 days ago

Download www.vmars.tuwien.ac.at

Hermann Kopetz, Martin Braun, Christian Ebner, And...

claim paper

Read More »

click to vote

RTAS
2010
IEEE

153views Embedded Systems» more RTAS 2010»

Scalable Scheduling Policy Design for Open Soft Real-Time Systems

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers