Verification and validation methods for formal description used in software engineering

Informations projet

N° de convention de subvention: CIPE926144

Date de début 1 Mai 1993

Date de fin 30 Avril 1995

Financé au titre de

• Scientific and technological cooperation between the European Community and European non-member countries, 1992-

Coût total € 0,00

Contribution de l’UE Aucune donnée

Coordonné par

Research Institute for Measurement and Computer Technics - Hungarian Academy of Sciences
Hungary

Programme(s)

• IC-PECO/COPERNICUS - Scientific and technological cooperation between the European Community and European non-member countries, 1992-

Thème(s)

Data not available

Appel à propositions

Data not available

Régime de financement

CSC - Cost-sharing contracts

Coordinateur

Research Institute for Measurement and Computer Technics - Hungarian Academy of Sciences

• Contribution de l’UE: Aucune donnée
• Adresse: 29-33,Konkoly Thege ut ; 1121 Budapest ; Hongrie
• Coût total: Aucune donnée