共 4 条
[1]
Periodic Error Compensation for Quartz MEMS Gyroscope Drift of INS[J]. Xu Jianmao a, Zhang Haipeng b,c,*, Sun Junzhong c a College of Energy and Power Engineering, Huazhong University of Science and Technology, Wuhan 430074, China b School of Instrument Science and Opto-electronics Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100083, China c Mechanical and Electrical Equipment Research Institute, Qingdao Navy Submarine Academe, Qingdao 266071, China.Chinese Journal of
[4]
Formal Verification for Embedded System Designs
[J].
Design Automation for Embedded Systems,
2003, 8
:139-153