Login / Signup
Real-Time Component Composition Using Hierarchical Timed Automata.
Xianli Jin
Huadong Ma
Zonghua Gu
Published in:
QSIC (2007)
Keyphrases
</>
timed automata
real time
real time systems
model checking
reachability analysis
databases
website
quality of service
theorem prover
web service composition
information systems
knowledge base
low cost
vision system
hierarchical structures