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

  1. Sneha Sahu
  2. Ruth Schorr
  3. Inmaculada Medina-Bulo
Libro:
Actas de las Jornadas de Investigación Predoctoral en Ingeniería Informática: Proceedings of the Doctoral Consortium in Computer Science (JIPII 2021)
  1. Guadalupe Ortiz Bellot (coord.)
  2. Inmaculada Medina Bulo (coord.)

Editorial: Universidad de Cádiz

ISBN: 978-84-89867-47-5

Año de publicación: 2021

Páginas: 11-15

Congreso: Jornadas de Investigación Predoctoral en Ingeniería Informática (1. 2021. Cádiz)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR lock_openRODIN editor
Fuente de los datos: Dialnet