Login / Signup
Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.
Kozo Okano
Satoshi Hattori
Akira Yamamoto
Teruo Higashino
Kenichi Taniguchi
Published in:
ICPP Workshops (1999)
Keyphrases
</>
real time systems
high level
probabilistic model
conceptual model
architectural model
bayesian networks
multi agent
model checking
reactive systems
timed automata