%0 Journal Article
%T 卫星定位系统的验证原型
%A 李一阁
%A 宋国新
%J 华东理工大学学报
%P 74-77
%D 2004
%X 用模型检查的方法对卫星定位系统进行了验证，对把模型检查应用于实际系统进行了初步的探索。
%K 卫星定位系统
%K 验证原型
%K 模型检查
%K 混合自动机
%K 混合系统
%K 形式化验证
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=20040117&flag=1