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, et al.
  出版: (2015)
• Formalization and theoretical analysis of the local effect model /
  由: Beuve, M.
• Dissipative Systems Analysis and Control
  由: Brogliato, Bernard, et al.
  出版: (2020)
• Dissipative Systems Analysis and Control
  由: Brogliato, Bernard, et al.
  出版: (2020)