Login / Signup

Components Interaction Safety Analysis Method Based on STAMP and Formal Verification.

Nan YeJianguo ZhangJie Wu
Published in: WSSE (2020)
Keyphrases
  • low cost
  • decision making
  • multi agent
  • software engineering
  • formal verification