METODOS FORMALES EN SISTEMAS SOFTWARE HETEROGENEOS
Dpto. De Sistemas Informáticos Y ComputaciónAño de inicio | 2005 |
---|---|
Organismo financiador | MINISTERIO DE EDUCACION Y CIENCIA -D.G. INVESTIGACION |
Tipo de proyecto | INV. COMPETITIVA PROYECTOS |
Responsable científico | VIDAL ORIOLA, GERMAN FRANCISCO |