A methodology for model-based verification of safety contracts and performance requirements

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: E. Gomez-Martinez, R. J. Rodriguez, C. Benac-Earle, L. Etxeberria, M. Illarramendi

Journal title: Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability

Journal number: Article first published online: September 30, 2016

Journal publisher: Professional Engineering Publishing Ltd.

Published year: 2016

Published pages: 1-21

DOI identifier: 10.1177/1748006X16667328

ISSN: 1748-006X