论文研究-A Framework for Off-Line Conformance Testing of Timed Connectors.pdf

时间:2022-09-06 02:54:24
【文件属性】:

文件名称:论文研究-A Framework for Off-Line Conformance Testing of Timed Connectors.pdf

文件大小:506KB

文件格式:PDF

更新时间:2022-09-06 02:54:24

Formal Method, Reo, Conformance Testing,

实时连接件的离线一致性测试,李少东,陈霄泓,协调在复杂信息物理系统中扮演了重要角色。协调语言模型的复杂性使得测试成为开发信息物理系统过程中非常重要的一环。一致性测试


网友评论