Sciweavers

3750 search results - page 61 / 750

» Timed Automata Patterns

75

FORTE
2007

100views Formal Methods» more FORTE 2007»

Improvements for the Symbolic Verification of Timed Automata

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

75

DAGSTUHL
2004

66views Software Engineering» more DAGSTUHL 2004»

Test Derivation from Timed Automata

15 years 3 months ago

Test Derivation from Timed Automata

Download doc.utwente.nl

Laura Brandán Briones, Mathias Röhl

claim paper

Read More »

88

PTS
2003

83views Hardware» more PTS 2003»

A Guided Method for Testing Timed Input Output Automata

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

103

CORR
2010
Springer

58views Education» more CORR 2010»

Timed Automata Semantics for Analyzing Creol

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

43

CORR
2010
Springer

60views Education» more CORR 2010»

IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata

15 years 2 months ago

IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata

Download www.lsv.ens-cachan.fr

Étienne André

claim paper

Read More »

« Prev « First page 61 / 750 Last » Next »