Formal specification and analysis of take-off procedure using VDM-SL
Crossref DOI link: https://doi.org/10.1186/s40294-016-0014-y
Published Online: 2016-02-15
Published Print: 2016-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zafar, Nazir Ahmad
Text and Data Mining valid from 2016-02-15
Version of Record valid from 2016-02-15
Article History
Received: 17 September 2015
Accepted: 7 January 2016
First Online: 15 February 2016