Researchers portal

Portal del personal investigador

Estamos realizando la búsqueda. Por favor, espere...

Portal del Investigador > Publicaciones > detalle publicacion

Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints

Otras comunicaciones del congreso o articulos relacionados con autores/as de la Universidad de Cantabria

Automating the construction of models based on domain views - Comunicación a Congreso
Meta-tool for Model-Driven Verification of Constraints Satisfaction - Comunicación a Congreso

Congreso: MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development

Editorial: SciTePress

Año de publicación: 2016

Nº de páginas: 12

Páginas: 455 a 466

Tipo de publicación: Comunicación a Congreso

DOI: 10.5220/0005744504550466

ISBN: 978-989-758-168-7

Proyecto español: TIN2011-28567-C03-02

Leer publicación

Autoría

CESAR CUEVAS CUESTA

PATRICIA LOPEZ MARTINEZ

JOSE MARIA DRAKE MOYANO

Descargar referencia

Bib Ris