Larsen，Kim G。;保罗·佩特森;易、王 简单地说，很高兴。 （英语） Zbl 1060.68577号 国际期刊软件。技术工具。Transf公司。第1卷，第1-2期，第134-152页（1997年）。 小结：本文介绍了UPPAAL工具箱的总体结构、设计标准和主要特点。它给出了一个详细的用户指南，描述了如何使用UPPAAL 2.02版的各种工具构建实时系统的抽象模型，模拟其动态行为，根据模型指定和验证其安全性和有界活性属性。此外，本文还对UPPAAL应用的案例研究进行了简要回顾，并对其理论基础进行了参考。 引用于1审查引用于150文件 MSC公司： 68纳米99 软件理论 关键词：实时系统建模;动态建模;建模工具;UPPAAL公司 软件：Uppaal公司 PDF格式BibTeX公司 XML格式 全文： 内政部