Publicacións en colaboración con investigadores/as de Universidad de Zaragoza (3)

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

2016

  1. Preface

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

2015

  1. Ultrafast direct laser writing of cladding waveguides in the 0.8CaSiO3-0.2Ca3(PO4)2 eutectic glass doped with Nd3+ ions

    Journal of Applied Physics, Vol. 117, Núm. 4