A Case Study of Formal Approach to Dynamically Reconfigurable Systems by Using Dynamic Linear Hybrid Automata.

Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Satoshi Yamane

Browse the full ICFEM paper archive.