Sciweavers

921 search results - page 30 / 185
» On Interleaving in Timed Automata
Sort
View
80
Voted
QEST
2008
IEEE
15 years 6 months ago
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata
Najla Chamseddine, Marie Duflot, Laurent Fribourg,...
FORMATS
2005
Springer
15 years 5 months ago
Comparison of the Expressiveness of Timed Automata and Time Petri Nets
Béatrice Bérard, Franck Cassez, Serg...
65
Voted
FORMATS
2004
Springer
15 years 5 months ago
Real-Time Testing with Timed Automata Testers and Coverage Criteria
Moez Krichen, Stavros Tripakis
CONCUR
2004
Springer
15 years 3 months ago
Timed vs. Time-Triggered Automata
Pavel Krcál, Leonid Mokrushin, P. S. Thiaga...