说明: 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.
<wjwzqcom> 上传 | 大小:226kb