English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Projekt
Formal methods for correct system design
Export
Statistics
Options
EUROFORM
Fact Sheet
Partner
Project Title
Formal methods for correct system design
OpenAIRE ID
CHRX920061
Start
01 August 1993
End
31 July 1996
Framework
FP3
fundingProgram
FP3-HCM