Formal description and language of MEMS design

Xin Zhao, Xin Li, Guizhang Lu. Formal description and language of MEMS design. In 6th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, NEMS 2011, Kaohsiung, Taiwan, February 20-23, 2011. pages 851-854, IEEE, 2011. [doi]

Abstract

Abstract is missing.