工业关键系统的形式化方法 Formal methods for industrial critical systems

類似資料

• 工业自动化中的控制与驱动系统研究
  著者:: 董燕飞
  出版事項: (2019)
• 工业自动化技术
  著者:: 陈瑞阳
  出版事項: (2011)
• TestStand工业自动化测试管理
  著者:: 胡典钢
  出版事項: (2016)
• 工业自动化中的驱动与控制
  著者:: 陈国强
  出版事項: (2017)
• 网络化控制系统
  著者:: 孙德辉
  出版事項: (2008)