上传者: wjwzqcom
|
上传时间: 2021-12-29 20:13:16
|
文件大小: 226KB
|
文件类型: -
UPPAAL建模工具教程 :
1 Introduction
This document is intended to be used by newcomers to Uppaal and verification. Students or
engineers with little background in formal methods should be able to use Uppaal for practical
purposes after this tutorial.