Login / Signup
A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata.
Ryo Yanase
Tatsunori Sakai
Makoto Sakai
Satoshi Yamane
Published in:
ICFEM (2016)
Keyphrases
</>
hybrid automata
formal methods
expert systems
management system
linear systems
database
case study
distributed systems
knowledge based systems
dynamic environments
complex systems
dynamic aspects