标题:Model-Based continuous verification
作者:Fan L.[1];Chen S.[1];Xu L.[1];Yang Z.[1];Zhu H.[1,2]
作者全称:Fan, Lingling[1];Chen, Sen[1];Xu, Lihua[1];Yang, Zongyuan[1];Zhu, Huibiao[1,2]
出版年:2017
页码:81-88
关键词:Consistency checking; Linear temporal logic; Model checking; Model-based testing
摘要:Model-based engineering has emerged as a key set of technologies to engineer software systems. While system source code is expected to match with the 更多
收录类别:SCOPUS;EI
资源类型:外文期刊论文;外文会议论文
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
相关成果:
TOP