Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

FSTTCS
1998
Springer

favoriteEmaildiscussreport

56views Software Engineering» more FSTTCS 1998»

The Power of Reachability Testing for Timed Automata

13 years 9 months ago

The Power of Reachability Testing for Timed Automata

Download www.brics.dk

Luca Aceto, Patricia Bouyer, Augusto Burgueñ

Real-time Traffic

FSTTCS 1998 | Software Engineering |

claim paper

Related Content

» SATBased Analysis of Cellular Automata

» Model Checking via Reachability Testing for Timed Automata

» The Power of Hybrid Acceleration

» TimedArc Petri Nets vs Networks of Timed Automata

» Symbolic Robustness Analysis of Timed Automata

» Diagonal Constraints in Timed Automata Forward Analysis of Timed Systems

» Exploiting Timed Automata for Conformance Testing of Power Measurements

» Membership Questions for Timed and Hybrid Automata

» Model checking based analysis of endtoend latency in embedded realtime systems with clock ...

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	FSTTCS
Authors	Luca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen

Comments (0)