MARIA INMACULADA
MEDINA BULO
Catedrática de Universidad
Sneha
Sahu
Publicaciones en las que colabora con Sneha Sahu (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)