Search Sciweavers | Sciweavers

942 search results - page 61 / 189

» Interrupt Timed Automata

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

14 years 3 months ago

Download www.lsv.ens-cachan.fr

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...

claim paper

Read More »

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

14 years 3 months ago

Download www.lsv.ens-cachan.fr

Christel Baier, Nathalie Bertrand, Patricia Bouyer...

claim paper

Read More »

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

14 years 3 months ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

click to vote

SEFM
2005
IEEE

93views Software Engineering» more SEFM 2005»

Specifying Urgency in Timed I/O Automata

14 years 2 months ago

Download www.win.tue.nl

Biniam Gebremichael, Frits W. Vaandrager

claim paper

Read More »

click to vote

FOSSACS
2005
Springer

121views Software Engineering» more FOSSACS 2005»

Alternating Timed Automata

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers