Towards Automated verification of Model-Driven Development Artifacts in Real-Time Systems
- Sneha Sahu
- Ruth Schorr
- Inmaculada Medina-Bulo
- Guadalupe Ortiz Bellot (coord.)
- Inmaculada Medina Bulo (coord.)
Argitaletxea: Universidad de Cádiz
ISBN: 978-84-89867-47-5
Argitalpen urtea: 2021
Orrialdeak: 11-15
Biltzarra: Jornadas de Investigación Predoctoral en Ingeniería Informática (1. 2021. Cádiz)
Mota: Biltzar ekarpena