Verification and validation methods for formal description used in software engineering

Projektinformationen

ID Finanzhilfevereinbarung: CIPE926144

Projekt abgeschlossen

Startdatum 1 Mai 1993

Enddatum 30 April 1995

Finanziert unter

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

Gesamtkosten Keine Daten

EU-Beitrag Keine Daten

Koordiniert durch

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

Programm/Programme

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

Thema/Themen

Data not available

Aufforderung zur Vorschlagseinreichung

Data not available

Finanzierungsplan

CSC - Cost-sharing contracts

Koordinator

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

• EU-Beitrag: Keine Daten
• Adresse: 29-33,Konkoly Thege ut ; 1121 Budapest ; Ungarn
• Gesamtkosten: Keine Daten