Sciweavers

732 search results - page 55 / 147

» Axiomatising timed automata

83

FORMATS
2008
Springer

60views Formal Methods» more FORMATS 2008»

Timed Automata with Integer Resets: Language Inclusion and Expressiveness

15 years 1 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 »

61

FORTE
2007

100views Formal Methods» more FORTE 2007»

Improvements for the Symbolic Verification of Timed Automata

15 years 1 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 »

62

DAGSTUHL
2004

66views Software Engineering» more DAGSTUHL 2004»

Test Derivation from Timed Automata

15 years 1 months ago

Test Derivation from Timed Automata

Download doc.utwente.nl

Laura Brandán Briones, Mathias Röhl

claim paper

Read More »

72

PTS
2003

83views Hardware» more PTS 2003»

A Guided Method for Testing Timed Input Output Automata

15 years 1 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 »

82

CORR
2010
Springer

58views Education» more CORR 2010»

Timed Automata Semantics for Analyzing Creol

14 years 12 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 55 / 147 Last » Next »