%0 Thesis
%A Alonso García, Rafael
%T Testeo de modelos orientados a líneas de producto
%D 2024
%U https://hdl.handle.net/20.500.14352/107918
%X A partir de un metamodelo, se pretende formalizar y analizar un modelo recibido, con el fin de validarlo con respecto a dicho metamodelo y asegurarnos de su correcto funcionamiento.
%X Given a metamodel from a different project, the goal is to formalize and analyze another model received. That way we can validate the previous metamodel and make sure that it works as intended.
%~