Login / Signup

Non-functional Attribute Modeling and Verification Method for Integrated Modular Avionics System.

Peng GuoFeiyang LiuNa WuYahui LiNing Hu
Published in: CSDM Asia / CSDM (2021)
Keyphrases
  • verification method
  • temporal logic
  • case study
  • website
  • database systems
  • attribute values
  • modeling language