Search Sciweavers | Sciweavers

3750 search results - page 57 / 750

» Timed Automata Patterns

128

click to vote

SEFM
2005
IEEE

93views Software Engineering» more SEFM 2005»

Specifying Urgency in Timed I/O Automata

16 years 2 days ago

Download www.win.tue.nl

Biniam Gebremichael, Frits W. Vaandrager

claim paper

Read More »

132

click to vote

FOSSACS
2005
Springer

121views Software Engineering» more FOSSACS 2005»

Alternating Timed Automata

16 years 18 hour ago

Download tocl.acm.org

Slawomir Lasota, Igor Walukiewicz

claim paper

Read More »

146

click to vote

FORMATS
2004
Springer

94views Formal Methods» more FORMATS 2004»

On Timed Automata with Input-Determined Guards

15 years 12 months ago

Download drona.csa.iisc.ernet.in

Deepak D'Souza, Nicolas Tabareau

claim paper

Read More »

131

click to vote

ICTAC
2004
Springer

87views Applied Computing» more ICTAC 2004»

Verifying Linear Duration Constraints of Timed Automata

15 years 12 months ago

Download www.iist.unu.edu

Pham Hong Thai, Dang Van Hung

claim paper

Read More »

122

click to vote

JELIA
2004
Springer

107views Artificial Intelligence» more JELIA 2004»

Time Granularities and Ultimately Periodic Automata

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers