Publications in collaboration with researchers from Universidad Politécnica de Madrid (2)

2018

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

    Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Vol. 232, Núm. 3, pp. 227-247

2015

  1. Model-based verification of safety contracts

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)