基于UPPAAL的复杂定时数据建模 - 2014年河南省计算机学会学术年会暨河南省计算机大会.pdf

会议论文《基于UPPAAL的复杂定时数据建模》发表于2014年河南省计算机学会学术年会暨河南省计算机大会。该文探讨了如何利用UPPAAL工具对复杂定时系统进行建模与分析，重点研究了定时数据的表示方法及验证技术，为实时系统的正确性验证提供了有效手段。

文档为pdf格式，1.18MB，总共5页。

基于UPPAAL的复杂定时数据建模 - 2014年河南省计算机学会学术年会暨河南省计算机大会.pdf

文件大小:

1.18 MB

高速下载