Buscar

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

Detalle_Publicacion

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