Investigación
Publicación (Conferencias y Seminarios)
Compilador para la Generación Automática del Metanivel de una Especificación mediante la Reificación de Propiedades Nivel Base.
-
Pérez Benedí, Jenifer; Carsi, José Ángel; Ramos, Isidro
- Año:
- 2003
- Tipo de publicación:
- Conferencias y Seminarios
- Mes:
- October
Hits: 4393
Grupos de Investigación
Áreas Estratégicas
Contacto
Edificio La Arboleda. Campus Sur UPM.
Calle Alan Turing 3
28031 Madrid
Email: web.citsem@upm.es
Tfno: +34 9106 78762
Website: www.citsem.upm.es