Search Sciweavers | Sciweavers

14360 search results - page 148 / 2872

» Time Modeling in MARTE

click to vote

CAV
2003
Springer

121views Hardware» more CAV 2003»

Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods

14 years 3 months ago

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

click to vote

FM
2003
Springer

139views Formal Methods» more FM 2003»

Combining Real-Time Model-Checking and Fault Tree Analysis

14 years 3 months ago

Download www.informatik.uni-oldenburg.de

We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...

Andreas Schäfer

claim paper

Read More »

click to vote

FSTTCS
2003
Springer

74views Software Engineering» more FSTTCS 2003»

Real-Time Model-Checking: Parameters Everywhere

14 years 3 months ago

Download www.ulb.ac.be

Véronique Bruyère, Jean-Franç...

claim paper

Read More »

click to vote

ICANN
2003
Springer

126views Neural Networks» more ICANN 2003»

Selecting and Ranking Time Series Models Using the NOEMON Approach

14 years 3 months ago

Download www.cin.ufpe.br

Ricardo Bastos Cavalcante Prudêncio, Teresa ...

claim paper

Read More »

click to vote

DATE
2002
IEEE

74views Hardware» more DATE 2002»

Extending Synchronous Languages for Generating Abstract Real-Time Models

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers