Login / Signup

A Composite Safety Assurance Method for Developing System Architecture Using Model Checking.

Qiang ZhiZhengshu ZhouShuji Morisaki
Published in: Int. J. Syst. Softw. Secur. Prot. (2021)
Keyphrases
  • model checking
  • verification method
  • temporal logic
  • dynamic programming
  • epistemic logic