Search

Searching. Please wait…

Detalle_Publicacion

Meta-Tool for Model-Driven Verification of Constraints Satisfaction

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

 Publisher: Springer

 Year of publication: 2017

 No. of pages: 23

 Pages: 171 a 193

 Publication type: Conference object

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

 ISBN: 978-331966301-2

 Spanish project: TIN2011-28567-C03-02

 Publication Url: https://doi.org/10.1007/978-3-319-66302-9_9

Authorship

CESAR CUEVAS CUESTA

JOSE MARIA DRAKE MOYANO