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

  1. Sneha Sahu
  2. Ruth Schorr
  3. Inmaculada Medina-Bulo
Book:
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.)

Publisher: Universidad de Cádiz

ISBN: 978-84-89867-47-5

Year of publication: 2021

Pages: 11-15

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

Type: Conference paper

DIALNET GOOGLE SCHOLAR lock_openRODIN editor
Data source: Dialnet