Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

Verification and validation methods for formal description used in software engineering

Desde 1993-05-01 hasta 1995-04-30

Detalles del proyecto

Coste total:

No disponible

Aportación de la UE:

No disponible

Coordinado en:

Hungary

Tema(s):

Régimen de financiación:

CSC - Cost-sharing contracts

Coordinador

Research Institute for Measurement and Computer Technics - Hungarian Academy of Sciences
Hungary
29-33,Konkoly Thege ut
1121 Budapest
Hungary
See on map
Contacto administrativo: N/A
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba