文件名称:论文研究-A Framework for Off-Line Conformance Testing of Timed Connectors.pdf
文件大小:506KB
文件格式:PDF
更新时间:2022-09-06 02:54:24
Formal Method, Reo, Conformance Testing,
实时连接件的离线一致性测试,李少东,陈霄泓,协调在复杂信息物理系统中扮演了重要角色。协调语言模型的复杂性使得测试成为开发信息物理系统过程中非常重要的一环。一致性测试