QQ客服 官方微博 反馈留言

浏览/检索结果: 共2条，第1-2条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于时间抽象状态机的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