Sciweavers

2632 search results - page 65 / 527

» Alternating Timed Automata

103

FORMATS
2008
Springer

60views Formal Methods» more FORMATS 2008»

Timed Automata with Integer Resets: Language Inclusion and Expressiveness

15 years 4 months ago

Timed Automata with Integer Resets: Language Inclusion and Expressiveness

Download www.tcs.tifr.res.in

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

claim paper

Read More »

83

FORTE
2007

100views Formal Methods» more FORTE 2007»

Improvements for the Symbolic Verification of Timed Automata

15 years 4 months ago

Improvements for the Symbolic Verification of Timed Automata

Download www-verimag.imag.fr

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

claim paper

Read More »

80

DAGSTUHL
2004

66views Software Engineering» more DAGSTUHL 2004»

Test Derivation from Timed Automata

15 years 4 months ago

Test Derivation from Timed Automata

Download doc.utwente.nl

Laura Brandán Briones, Mathias Röhl

claim paper

Read More »

95

PTS
2003

83views Hardware» more PTS 2003»

A Guided Method for Testing Timed Input Output Automata

15 years 4 months ago

A Guided Method for Testing Timed Input Output Automata

Download www.jos.org.cn

Abdeslam En-Nouaary, Rachida Dssouli

claim paper

Read More »

112

CORR
2010
Springer

58views Education» more CORR 2010»

Timed Automata Semantics for Analyzing Creol

15 years 3 months ago

Timed Automata Semantics for Analyzing Creol

Download homepages.cwi.nl

ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.

Mohammad Mahdi Jaghoori, Tom Chothia

claim paper

Read More »

« Prev « First page 65 / 527 Last » Next »