MARIA INMACULADA
MEDINA BULO
Catedrática de Universidad
Ruth
Schorr
Publikationen, an denen er mitarbeitet Ruth Schorr (1)
2021
-
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)