Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

Verification and validation methods for formal description used in software engineering

De 1993-05-01 à 1995-04-30

Détails concernant le projet

Coût total:

Non disponible

Contribution de l'UE:

Non disponible

Coordonné à/au(x)/en:

Hungary

Sujet(s):

Régime de financement:

CSC - Cost-sharing contracts

Coordinateur

Research Institute for Measurement and Computer Technics - Hungarian Academy of Sciences
Hungary
29-33,Konkoly Thege ut
1121 Budapest
Hungary
See on map
Contact administratif: N/A