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

• Autores: Sneha Sahu, Ruth Schorr, Inmaculada Medina Bulo
• Localización: Actas de las Jornadas de Investigación Predoctoral en Ingeniería Informática: Proceedings of the Doctoral Consortium in Computer Science (JIPII 2021) / coord. por Guadalupe Ortiz Bellot , Inmaculada Medina Bulo , 2021, ISBN 978-84-89867-47-5, págs. 11-15
• Idioma: inglés
• Enlaces
  • Texto Completo Libro