Analysis of the formal specification application for train control systems /

類似資料

• On formalizing and normalizing role-based access control systems /
  著者:: Power, David.
• Formal Methods: Foundations and Applications
  著者:: Davies, Jim, 等
  出版事項: (2015)
• Formalization and theoretical analysis of the local effect model /
  著者:: Beuve, M.
• Dissipative Systems Analysis and Control
  著者:: Brogliato, Bernard, 等
  出版事項: (2020)
• Dissipative Systems Analysis and Control
  著者:: Brogliato, Bernard, 等
  出版事項: (2020)