UPPAAL手册（英文）.pdf

上传：jinhaoquan35662 浏览： 23 推荐： 0 文件：PDF 大小：3.04MB 上传时间：2019-07-06 06:10:34 版权申诉

UPPAAL是一个集成的工具环境，被用来对被转换时间自动机网络模型的实时系统进行建模、校验和验证。