|
论文《基于量化微分动态逻辑的CPS自适应性验证》发表于2011全国软件与应用学术会议(NASAC2011)。该文提出一种基于量化微分动态逻辑的方法，用于验证信息物理系统（CPS）的自适应性。通过结合逻辑推理与动态系统分析，该方法能够有效评估系统在复杂环境下的适应能力，为CPS的可靠性与安全性提供理论支持。 文档为pdf格式，0.86MB，总共7页。
- 文件大小:
- 880.64 KB
- 下载次数:
- 60
- 基于量化微分动态逻辑的CPS自适应性验证 - 2011全国软件与应用学术会议(NASAC2011).pdf ...
-
高速下载
| 
