你即將離開本站

並前往http://jos.org.cn/jos/article/html/6249

面向CPS时空性质验证的混成AADL建模与模型转换方法

最后, 通过一个飞机避撞系统的实例来说明该方法在验证CPS时空安全性方面的有效性. 1 混成AADL 1.1 AADL的基础知识. 体系结构分析与设计语言AADL定义了用于 ...

確定！ 回上一頁

查詢 「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.