Search Sciweavers | Sciweavers

942 search results - page 66 / 189

» Interrupt Timed Automata

click to vote

PTS
2003

83views Hardware» more PTS 2003»

A Guided Method for Testing Timed Input Output Automata

13 years 10 months ago

Download www.jos.org.cn

Abdeslam En-Nouaary, Rachida Dssouli

claim paper

Read More »

click to vote

CORR
2010
Springer

58views Education» more CORR 2010»

Timed Automata Semantics for Analyzing Creol

13 years 9 months ago

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 »

click to vote

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

Download www.lsv.ens-cachan.fr

Étienne André

claim paper

Read More »

click to vote

CORR
2010
Springer

45views Education» more CORR 2010»

Relating timed and register automata

13 years 9 months ago

Download www.mimuw.edu.pl

Diego Figueira, Piotr Hofman, Slawomir Lasota

claim paper

Read More »

click to vote

FUIN
2006

56views more FUIN 2006»

Slicing of Timed Automata with Discrete Data

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers