Login / Signup

A requirements modelling language to facilitate avionics software verification and certification.

Andrés PazGhizlane El-Boussaidi
Published in: RET@ICSE (2019)
Keyphrases
  • modelling language
  • formal semantics
  • learning scenarios
  • knowledge base