Real-time systems. 2011;47(4):285-318. doi: 10.1007/s11241-011-9122-0 Q22.12025

Efficient verification of distributed real-time systems with broadcasting behaviors

具有广播行为的分布式实时系统的高效验证

DOI: 10.1007/s11241-011-9122-0

摘要 查看摘要

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