Search Sciweavers | Sciweavers

3750 search results - page 60 / 750

» Timed Automata Patterns

click to vote

CONCUR
1992
Springer

112views Distributed And Parallel Com...» more CONCUR 1992»

Action Transducers and Timed Automata

14 years 2 months ago

Download groups.csail.mit.edu

Frits W. Vaandrager, Nancy A. Lynch

claim paper

Read More »

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

14 years 2 months ago

Download www.informatik.uni-freiburg.de

Henning Dierks, Sebastian Kupferschmid, Kim Guldst...

claim paper

Read More »

click to vote

APSEC
1995
IEEE

77views Software Engineering» more APSEC 1995»

From Scenarios to Timed Automata: Building Specifications from Users Requirements

14 years 1 months ago

Download www.cis.upenn.edu

Stéphane S. Somé, Rachida Dssouli, J...

claim paper

Read More »

click to vote

MFCS
1995
Springer

66views Theoretical Computer Science» more MFCS 1995»

From Timed Automata to Logic - and Back

14 years 1 months ago

Download www.brics.dk

François Laroussinie, Kim Guldstrand Larsen...

claim paper

Read More »

click to vote

FORMATS
2008
Springer

60views Formal Methods» more FORMATS 2008»

Timed Automata with Integer Resets: Language Inclusion and Expressiveness

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers