Search Sciweavers | Sciweavers

942 search results - page 65 / 189

» Interrupt Timed Automata

click to vote

APSEC
1995
IEEE

77views Software Engineering» more APSEC 1995»

From Scenarios to Timed Automata: Building Specifications from Users Requirements

15 years 5 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

15 years 5 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

15 years 3 months ago

Download www.tcs.tifr.res.in

P. Vijay Suman, Paritosh K. Pandya, Shankara Naray...

claim paper

Read More »

click to vote

FORTE
2007

100views Formal Methods» more FORTE 2007»

Improvements for the Symbolic Verification of Timed Automata

15 years 3 months ago

Download www-verimag.imag.fr

Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan...

claim paper

Read More »

click to vote

DAGSTUHL
2004

66views Software Engineering» more DAGSTUHL 2004»

Test Derivation from Timed Automata

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers