你即將離開本站

並前往https://wap.cnki.net/touch/web/Dissertation/Article/10337-1019952940.nh.html

信息物理融合系统形式化建模与安全验证方法研究-手机知网

以水位控制系统为CPS实例,系统模型的构建包括常用组件建模、攻击者建模以及自动恢复机制建模。安全属性验证包括基于死锁算法、可达性算法和线性时序逻辑算法的验证, ...

確定！ 回上一頁

查詢 「cps實例」的人也找了：

  1. cps應用
    2.
  2. 虛實整合系統
    3.
  3. cps系統
    4.
  4. cyber-physical system
    5.
  5. CPS Cyber Physical System
    6.
  6. 網宇實體系統
    7.
  7. 虛實整合系統概念
    8.
  8. cps是什麼
    9.