|
论文《基于迁移系统分析的线性混成系统安全性验证工具》发表于第十一届全国软件与应用学术会议(NASAC2012)，提出了一种针对线性混成系统的安全性验证方法。该方法利用迁移系统分析技术，结合数学模型与算法，有效检测系统在连续和离散状态下的安全属性。研究为混成系统的可靠性提供了理论支持与工具实现，具有重要的工程应用价值。 文档为pdf格式，0.78MB，总共8页。
- 文件大小:
- 798.72 KB
- 下载次数:
- 60
- 基于迁移系统分析的线性混成系统安全性验证工具 - 第十一届全国软件与应用学术会议(NASAC2012).pdf ...
-
高速下载
| 
