Search Sciweavers | Sciweavers

1246 search results - page 29 / 250

» Recursive Timed Automata

102

Voted

FORMATS
2005
Springer

156views Formal Methods» more FORMATS 2005»

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

15 years 7 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

15 years 7 months ago

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

Voted

RSP
2002
IEEE

84views Control Systems» more RSP 2002»

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

15 years 7 months ago

Download www.cse.ohio-state.edu

Guoqiang Shu, Chao Li, Qing Wang, Mingshu Li

claim paper

Read More »

click to vote

CONCUR
2004
Springer

109views Distributed And Parallel Com...» more CONCUR 2004»

Timed vs. Time-Triggered Automata

15 years 6 months ago

Download www.comp.nus.edu.sg

Pavel Krcál, Leonid Mokrushin, P. S. Thiaga...

claim paper

Read More »

104

click to vote

DSRT
2004
IEEE

112views Modeling and Simulation» more DSRT 2004»

Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers