Search Sciweavers | Sciweavers

3229 search results - page 42 / 646

» The Theory of Timed Automata

click to vote

ICTAC
2009
Springer

91views Applied Computing» more ICTAC 2009»

IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata

14 years 3 months ago

Download www.lsv.ens-cachan.fr

Étienne André

claim paper

Read More »

click to vote

QEST
2008
IEEE

127views Modeling and Simulation» more QEST 2008»

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata

14 years 3 months ago

Download www.lsv.ens-cachan.fr

Najla Chamseddine, Marie Duflot, Laurent Fribourg,...

claim paper

Read More »

click to vote

FORMATS
2005
Springer

156views Formal Methods» more FORMATS 2005»

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

14 years 2 months ago

Download www.irccyn.fr

Béatrice Bérard, Franck Cassez, Serg...

claim paper

Read More »

click to vote

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Real-Time Testing with Timed Automata Testers and Coverage Criteria

14 years 2 months ago

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

click to vote

RSP
2002
IEEE

84views Control Systems» more RSP 2002»

Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers