Journal of automated reasoning. 2009;42(1):1-33. doi: 10.1007/s10817-008-9105-6 Q40.72025

Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL

HOL中停等协议的性能分析与功能验证

DOI: 10.1007/s10817-008-9105-6

摘要 查看摘要

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