Ta上传的资源 (0)

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