uppaal
共 2 篇文章
uppaal 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 2 篇文章，持续更新中。
基于时间自动机的风洞试验自动控制研究
用多个时间自动机来规范模拟风洞试验自动控制系统，给出了一种自动化的风洞<BR>试验控制模型（CRW），并采用实时系统验证工具Uppaal 对CRW 进行了验证，证明了该模型具有安全性、有效性和可控性。
uppaal-4.1.13
UPAAL是一个集成的工具环境，被用来对被转换时间自动机网络模型的实时系统进行建模、校验和验证。