Search Sciweavers | Sciweavers

1246 search results - page 29 / 250

» Recursive Timed Automata

147

click to vote

FORMATS
2005
Springer

156views Formal Methods» more FORMATS 2005»

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

15 years 11 months ago

Download www.irccyn.fr

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

claim paper

Read More »

118

click to vote

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Real-Time Testing with Timed Automata Testers and Coverage Criteria

15 years 11 months ago

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

128

click to vote

RSP
2002
IEEE

84views Control Systems» more RSP 2002»

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

15 years 10 months ago

Download www.cse.ohio-state.edu

Guoqiang Shu, Chao Li, Qing Wang, Mingshu Li

claim paper

Read More »

126

click to vote

CONCUR
2004
Springer

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

Timed vs. Time-Triggered Automata

15 years 9 months ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

140

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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers