Publicaciones en colaboración con investigadores/as de Mälardalen University (2)

2017

  1. Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer

    Computer Standards and Interfaces, Vol. 54, pp. 119-128

2016

  1. Deriving safety case fragments for assessing MBASafe’s compliance with EN 50128

    Communications in Computer and Information Science