1246 search results - page 50 / 250 » Recursive Timed Automata |
124
click to vote
HYBRID
2010
Springer
15 years 12 days ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
108
Voted
RTS
2008
15 years 1 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
130
Voted
FORMATS
2009
Springer
15 years 6 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
145
Voted
FORMATS
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
130
Voted
QEST
2010
IEEE
15 years 9 days ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...