Analysis of the formal specification application for train control systems /

Lignende værker

• On formalizing and normalizing role-based access control systems /
  af: Power, David.
• Formal Methods: Foundations and Applications
  af: Davies, Jim, et al.
  Udgivet: (2015)
• Formalization and theoretical analysis of the local effect model /
  af: Beuve, M.
• Dissipative Systems Analysis and Control
  af: Brogliato, Bernard, et al.
  Udgivet: (2020)
• Dissipative Systems Analysis and Control
  af: Brogliato, Bernard, et al.
  Udgivet: (2020)