Researchers portal

Portal del personal investigador

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

Portal del Investigador > Publicaciones > detalle publicacion

Meta-tool for Model-Driven Verification of Constraints Satisfaction

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

Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints - Comunicación a Congreso
Automating the construction of models based on domain views - 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

Tipo de publicación: Comunicación a Congreso

ISBN: 978-989-758-168-7

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

Autoría

CESAR CUEVAS CUESTA

PATRICIA LOPEZ MARTINEZ

JOSE MARIA DRAKE MOYANO

Descargar referencia

Bib Ris