Verification and validation methods for formal description used in software engineering

Informacje na temat projektu

Identyfikator umowy o grant: CIPE926144

Projekt został zamknięty

Data rozpoczęcia 1 Maja 1993

Data zakończenia 30 Kwietnia 1995

Finansowanie w ramach

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

Koszt całkowity Brak danych

Wkład UE Brak danych

Koordynowany przez

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

Program(-y)

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

Temat(-y)

Data not available

Zaproszenie do składania wniosków

Data not available

System finansowania

CSC - Cost-sharing contracts

Koordynator

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

• Wkład UE: Brak danych
• Adres: 29-33,Konkoly Thege ut ; 1121 Budapest ; Węgry
• Koszt całkowity: Brak danych