Publicaciones en las que colabora con Ruth Schorr (1)

2021

  1. Towards Automated verification of Model-Driven Development Artifacts in Real-Time Systems

    Actas de las Jornadas de Investigación Predoctoral en Ingeniería Informática: Proceedings of the Doctoral Consortium in Computer Science (JIPII 2021)