QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 专题：上海大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Divergence Detection for CCSL Specification via Clock Causality Chain 会议论文 2nd International Symposium on Dependable Software Engineering - Theories, Tools and Applications (SETTA), 2016-11-09 作者:  Xu, Qingguo[1];  de Simone, Robert[2];  DeAntoni, Julien[3] 收藏  |  浏览/下载：6/0  |  提交时间：2019/04/26 CCSL  Divergence  Clock causality chain  Bounded Clock Set  PVS   Modeling predicate abstraction of timed automata in PVS 会议论文 2011 IEEE International Conference on Internet of Things, iThings 2011 and 4th IEEE International Conference on Cyber, Physical and Social Computing, CPSCom 2011, 2011-10-19 作者:  Yin, Xia[1];  Xu, Qingguo[2];  Han, Kunliang[3] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/30 Uppaal到PVS的时间自动机翻译器 期刊论文 计算机应用与软件, 2008, 卷号: 25, 页码: 19-20,48 作者:  刘振通[1];  缪淮扣[2];  许庆国[3] 收藏  |  浏览/下载：6/0  |  提交时间：2019/05/06 时间自动机  翻译器  Uppaal  PVS   Uppaal时间自动机规格说明到PVS时间自动机模板的转换 学位论文 : 上海大学, 2007 作者:  刘振通[1] 收藏  |  浏览/下载：5/0  |  提交时间：2019/05/06 时间自动机  翻译器  证明责任  实时系统  形式化方法   Formal verification framework for safety of real-time system based on timed automata model in PVS 会议论文 IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS, 2006-02-14 作者:  Xu, Qingguo[1];  Miao, Huaikou[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/05/10 实时系统形式规格说明在PVS中的建立 期刊论文 计算机科学, 2006, 卷号: 33, 页码: 238-242 作者:  许庆国[1];  缪淮扣[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/05/10 实时系统  时间Buchi自动机  时间化时序逻辑   基于PVS的时序逻辑语义模型及其实现 期刊论文 应用科学学报, 2006, 卷号: 24, 页码: 598-603 作者:  许庆国[1];  缪淮扣[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/05/10 时序逻辑  语义  定理证明  程序性质