QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Towards a verified compiler prototype for the synchronous language SIGNAL 期刊论文 FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 页码: 37-53 作者:  Yang, Zhibin;  Bodeveix, Jean-Paul;  Filali, Mamoun;  Hu, Kai;  Zhao, Yongwang 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30 synchronous languages  SIGNAL  guarded actions  verified compiler  Coq  architecture analysis and designlanguage (AADL)   同步语言的时间可预测多线程代码生成方法 期刊论文 软件学报, 2016, 卷号: 27, 页码: 611-632 作者:  Yang, Zhi-Bin;  Zhao, Yong-Wang;  Huang, Zhi-Qiu;  Hu, Kai;  Ma, Dian-Fu 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 安全关键系统  多核处理器  时间可预测  同步语言  AADL(architecture analysis and design language)   基于时间抽象状态机的AADL模型验证? 期刊论文 软件学报, 2015, 卷号: 26, 页码: 202-222 作者:  Yang, Zhi-Bin;  Hu, Kai;  Zhao, Yong-Wang;  Ma, Dian-Fu;  Bodeveix, Jean-Paul 收藏  |  浏览/下载：10/0  |  提交时间：2020/01/06 AADL(architecture analysis and design language)  TASM(timed abstract state machine)  模型转换  形式验证   From AADL to Timed Abstract State Machines: A verified model transformation 期刊论文 JOURNAL OF SYSTEMS AND SOFTWARE, 2014, 卷号: 93, 页码: 42-68 作者:  Yang, Zhibin;  Hu, Kai;  Ma, Dianfu;  Bodeveix, Jean-Paul;  Pi, Lei 收藏  |  浏览/下载：9/0  |  提交时间：2020/01/06 Model-driven engineering  Architecture Analysis and Design Language (AADL)  Model transformation  Semantics preservation  Timed Abstract State Machine (TASM)  Coq   A verified transformation: From polychronous programs to a variant of clocked guarded actions 会议论文 17th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2014, St. Goar, Germany, 2014-06-10 作者:  Yang, Zhibin;  Bodeveix, Jean-Paul;  Filali, Mamoun;  Hu, Kai;  Ma, Dianfu 收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06 A comparative study of two formal semantics of the SIGNAL language 期刊论文 FRONTIERS OF COMPUTER SCIENCE, 2013, 卷号: 7, 页码: 673-693 作者:  Yang, Zhibin;  Bodeveix, Jean-Paul;  Filali, Mamoun 收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06 synchronous language  SIGNAL  trace semantics  tagged model semantics  semantics equivalence  Coq   Two Formal Semantics of a Subset of the AADL 会议论文 IEEE Int Conf/Workshops on Engineering of Autonomicand Autonomous Systems/Int Conf on the Engineering of Computer-Based Systems/Int Conf on the Engineering of Complex Computer Systems, Las Vegas, NV, 2011-01-01 作者:  Yang, Zhibin;  Hu, Kai;  Bodeveix, Jean-Paul;  Pi, Lei;  Ma, Dianfu 收藏  |  浏览/下载：5/0  |  提交时间：2020/01/06 AADL  TASM  translational semantics  operational semantics  semantics preservation