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)