Community Research and Development Information Service - CORDIS

Verification and validation methods for formal description used in software engineering

From 1993-05-01 to 1995-04-30

Project details

Total cost:

Not available

EU contribution:

Not available

Coordinated in:

Hungary

Topic(s):

Funding scheme:

CSC - Cost-sharing contracts

Coordinator

Research Institute for Measurement and Computer Technics - Hungarian Academy of Sciences
Hungary
29-33,Konkoly Thege ut
1121 Budapest
Hungary
See on map
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top