Buscar

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

Meta-Tool for Model-Driven Verification of Constraints Satisfaction

 Congreso: Model-Driven Engineering and Software Developmen t : 4th International Conference, MODELSWARD 2016, revised selected papers

 Editorial: Springer

 Año de publicación: 2017

 Nº de páginas: 23

 Páginas: 171 a 193

 Tipo de publicación: Comunicación a Congreso

 DOI: 10.1007/978-3-319-66302-9_9

 ISBN: 978-331966301-2

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

 Url de la publicación: https://doi.org/10.1007/978-3-319-66302-9_9

Autoría

CESAR CUEVAS CUESTA

JOSE MARIA DRAKE MOYANO