华东理工大学学报（自然科学版）2004，Vol.30Issue(1)：74-77,4.
卫星定位系统的验证原型
Verification Prototype of Satellite Position System
摘要
关键词
模型检查/混合自动机/混合系统/形式化验证分类
信息技术与安全科学引用本文复制引用
李一阁,宋国新..卫星定位系统的验证原型[J].华东理工大学学报（自然科学版）,2004,30(1):74-77,4.基金项目
国防科技重点实验室基金(99JS94.10.1.DZ4201) （99JS94.10.1.DZ4201）
