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

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

Any de publicació: 2021

Pàgines: 11-15

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

Tipus: Aportació congrés

DIALNET GOOGLE SCHOLAR lock_openRODIN editor
Fuente de los datos: Dialnet