Cite
HARVARD Citation
Barnat, J. et al. (2016). Analysing sanity of requirements for avionics systems. Formal aspects of computing. pp. 45-63. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Barnat, J. et al. (2016). Analysing sanity of requirements for avionics systems. Formal aspects of computing. pp. 45-63. [Online].