TY  - RPRT
TI  - Formal Design and Verification of N-M Switching Control System
AU  - Changil Choe
AU  - Hyejong Hong
AU  - Kukhwan Kim
PY  - 2012
UR  - https://arxiv.org/abs/1212.2789
ID  - 1212.2789
ER  -