Verification and validation methods for formal description used in software engineering

Project Information

Grant agreement ID: CIPE926144

Project closed

Start date 1 May 1993

End date 30 April 1995

Funded under

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

Total cost No data

EU contribution No data

Coordinated by

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-

Topic(s)

Data not available

Call for proposal

Data not available

Funding Scheme

CSC - Cost-sharing contracts

Coordinator

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

• EU contribution: No data
• Address: 29-33,Konkoly Thege ut ; 1121 Budapest ; Hungary
• Total cost: No data