Sciweavers

732 search results - page 51 / 147

» Axiomatising timed automata

22

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

14 years 2 months ago

Linear-Time Model Checking: Automata Theory in Practice

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

21

SEFM
2005
IEEE

93views Software Engineering» more SEFM 2005»

Specifying Urgency in Timed I/O Automata

14 years 2 months ago

Specifying Urgency in Timed I/O Automata

Download www.win.tue.nl

Biniam Gebremichael, Frits W. Vaandrager

claim paper

Read More »

22

FOSSACS
2005
Springer

121views Software Engineering» more FOSSACS 2005»

Alternating Timed Automata

14 years 2 months ago

Alternating Timed Automata

Download tocl.acm.org

Slawomir Lasota, Igor Walukiewicz

claim paper

Read More »

24

FORMATS
2004
Springer

94views Formal Methods» more FORMATS 2004»

On Timed Automata with Input-Determined Guards

14 years 2 months ago

On Timed Automata with Input-Determined Guards

Download drona.csa.iisc.ernet.in

Deepak D'Souza, Nicolas Tabareau

claim paper

Read More »

24

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

14 years 2 months ago

Verifying Linear Duration Constraints of Timed Automata

Download www.iist.unu.edu

Pham Hong Thai, Dang Van Hung

claim paper

Read More »

« Prev « First page 51 / 147 Last » Next »