Sciweavers

3229 search results - page 76 / 646

» The Theory of Timed Automata

15

DAGSTUHL
2004

66views Software Engineering» more DAGSTUHL 2004»

Test Derivation from Timed Automata

13 years 11 months ago

Test Derivation from Timed Automata

Download doc.utwente.nl

Laura Brandán Briones, Mathias Röhl

claim paper

Read More »

26

PTS
2003

83views Hardware» more PTS 2003»

A Guided Method for Testing Timed Input Output Automata

13 years 11 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 »

24

CORR
2010
Springer

58views Education» more CORR 2010»

Timed Automata Semantics for Analyzing Creol

13 years 9 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 »

10

CORR
2010
Springer

60views Education» more CORR 2010»

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

13 years 9 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 »

10

CORR
2010
Springer

45views Education» more CORR 2010»

Relating timed and register automata

13 years 9 months ago

Relating timed and register automata

Download www.mimuw.edu.pl

Diego Figueira, Piotr Hofman, Slawomir Lasota

claim paper

Read More »

« Prev « First page 76 / 646 Last » Next »