Search Sciweavers | Sciweavers

732 search results - page 27 / 147

» Axiomatising timed automata

click to vote

RSP
2002
IEEE

84views Control Systems» more RSP 2002»

Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata

14 years 15 days ago

Download www.cse.ohio-state.edu

Guoqiang Shu, Chao Li, Qing Wang, Mingshu Li

claim paper

Read More »

click to vote

CONCUR
2004
Springer

109views Distributed And Parallel Com...» more CONCUR 2004»

Timed vs. Time-Triggered Automata

13 years 11 months ago

Download www.comp.nus.edu.sg

Pavel Krcál, Leonid Mokrushin, P. S. Thiaga...

claim paper

Read More »

click to vote

DSRT
2004
IEEE

112views Modeling and Simulation» more DSRT 2004»

Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata

13 years 11 months ago

Download www.lisyc.univ-brest.fr

Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques...

claim paper

Read More »

click to vote

CONCUR
2010
Springer

137views Distributed And Parallel Com...» more CONCUR 2010»

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

13 years 8 months ago

Download www.fi.muni.cz

Tomás Brázdil, Jan Krcál, Jan...

claim paper

Read More »

click to vote

JSS
2006

73views more JSS 2006»

Structural translation from Time Petri Nets to Timed Automata

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers