QQ客服 官方微博 反馈留言

浏览/检索结果: 共2条，第1-2条 帮助 限定条件 专题：南华大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A proof-based method of hybrid systems development using differential invariants 期刊论文 Frontiers of Computer Science, 2018, 卷号: 12, 期号: 5, 页码: 1026-1028 作者:  Liu, Jie;  Liu, Jing*;  Zhang, Miaomiao*;  Sun, Haiying;  Chen, Xiaohong 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/27 混合系统  开发  证明  微分  分离控制  建模语言  研究人员  精炼   An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants 期刊论文 Proceedings - International Computer Software and Applications Conference, 2017, 卷号: 1, 页码: 138-143 作者:  Liu, Jie;  Liu, Jing*;  Zhang, Miaomiao;  Sun, Haiying;  Chen, Xiaohong 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/27 hybrid system  Hybrid Event B  differential event  differential invariant  proof obligation