A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata
['Ryo Yanase', 'Tatsunori Sakai', 'Makoto Sakai', 'Satoshi Yamane']
A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata