Search Sciweavers | Sciweavers

942 search results - page 62 / 189

» Interrupt Timed Automata

click to vote

FORMATS
2004
Springer

94views Formal Methods» more FORMATS 2004»

On Timed Automata with Input-Determined Guards

14 years 2 months ago

Download drona.csa.iisc.ernet.in

Deepak D'Souza, Nicolas Tabareau

claim paper

Read More »

click to vote

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

14 years 2 months ago

Download www.iist.unu.edu

Pham Hong Thai, Dang Van Hung

claim paper

Read More »

click to vote

JELIA
2004
Springer

107views Artificial Intelligence» more JELIA 2004»

Time Granularities and Ultimately Periodic Automata

14 years 2 months ago

Download users.dimi.uniud.it

Davide Bresolin, Angelo Montanari, Gabriele Puppis

claim paper

Read More »

click to vote

TACAS
2004
Springer

62views Algorithms» more TACAS 2004»

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

14 years 2 months ago

Download www.lsv.ens-cachan.fr

Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Lar...

claim paper

Read More »

click to vote

TACAS
2004
Springer

97views Algorithms» more TACAS 2004»

Resource-Optimal Scheduling Using Priced Timed Automata

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers