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

Article English UNKNOWN
Gomez-Martinez, E. ; Rodriguez, R. J. ; Benac-Earle, C. ; Etxeberria, L. ; Illarramendi, M. (2016)
Share - Bookmark

  • Funded by
  • Cite this publication