Real-time systems. 2006;33(1-3):77-100. doi: 10.1007/s11241-006-6883-y Q31.32025

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

通过图变换与模型检测验证嵌入式系统的分布式实时性质

DOI: 10.1007/s11241-006-6883-y

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！