Analysis of the formal specification application for train control systems /

Benzer Materyaller

• On formalizing and normalizing role-based access control systems /
  Yazar:: Power, David.
• Formal Methods: Foundations and Applications
  Yazar:: Davies, Jim, ve diğerleri
  Baskı/Yayın Bilgisi: (2015)
• Formalization and theoretical analysis of the local effect model /
  Yazar:: Beuve, M.
• Dissipative Systems Analysis and Control
  Yazar:: Brogliato, Bernard, ve diğerleri
  Baskı/Yayın Bilgisi: (2020)
• Dissipative Systems Analysis and Control
  Yazar:: Brogliato, Bernard, ve diğerleri
  Baskı/Yayın Bilgisi: (2020)