Formal Methods for Industrial Critical Systems

অনুরূপ উপাদানগুলি

• Formal Methods for Industrial Critical Systems
  প্রকাশিত: (2020)
• Formal Methods for Open Object-Based Distributed Systems
  অনুযায়ী: Barthe, Gilles
  প্রকাশিত: (2020)
• Formal Techniques for Distributed Systems
  প্রকাশিত: (2020)
• Formal Techniques for Networked and Distributed Systems – FORTE 2008
  অনুযায়ী: Suzuki, Kenji, অন্যান্য
  প্রকাশিত: (2020)
• Formal Methods for Computational Systems Biology
  অনুযায়ী: Bernardo, Marco, অন্যান্য
  প্রকাশিত: (2020)