Login / Signup

Formal specification and analysis of take-off procedure using VDM-SL.

Nazir Ahmad Zafar
Published in: Complex Adapt. Syst. Model. (2016)
Keyphrases
  • formal specification
  • databases
  • specification language
  • object oriented design
  • database systems
  • building blocks