Searching for "Linear Hybrid Action Systems." – sorted by Relevance.
-
H.: Linear Hybrid Action Systems
- TUCS Linear Hybrid Action Systems Mauno Ronkko and Xuandong Li Turku Centre for Computer Science
- Cited by 1 (0 self) – Add To MetaCart
-
Verification of Linear Hybrid Action Systems
- Verification of Linear Hybrid Action Systems Mauno Ronkko Turku Centre for Computer Science
- Add To MetaCart
-
et al
- hybrid action system, with proof of correctness, to a linear hybrid automaton has been defined. In [12
- Cited by 1 (0 self) – Add To MetaCart
-
Verifying Real-Time Joint Action Specifications Using Timed Automata
- of view. A translation from linear hybrid action systems into linear hybrid automata is presented in [20
- Cited by 2 (0 self) – Add To MetaCart

