软件导刊2018，Vol.17Issue(4)：39-41,44,4.DOI:10.11907/rjdk.172346
基于形式化方法的混成系统验证
The Verification of Hybrid Systems Based on Formal Methods
摘要
关键词
形式化方法/抽象算法/混成系统/温控系统分类
信息技术与安全科学引用本文复制引用
唐敏,吴熊,李平,唐晨,杨国荣..基于形式化方法的混成系统验证[J].软件导刊,2018,17(4):39-41,44,4.基金项目
广西密码学与信息安全重点实验室研究课题项目(GCIS201615) （GCIS201615）
2016年自治区级大学生创新训练计划项目(C66JWA24QX18) （C66JWA24QX18）
