Cite
HARVARD Citation
Gómez-Martínez, E. et al. (n.d.). A methodology for model-based verification of safety contracts and performance requirements. Proceedings of the Institution of Mechanical Engineers. pp. 227-247. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Gómez-Martínez, E. et al. (n.d.). A methodology for model-based verification of safety contracts and performance requirements. Proceedings of the Institution of Mechanical Engineers. pp. 227-247. [Online].