• English
  • Deutsch
  • Log In
    Password Login
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Projekt
  4. Formal methods for correct system design
 
Options

EUROFORM

  • Fact Sheet
  • Partner
Project Title
Formal methods for correct system design
OpenAIRE ID
CHRX920061
Thumbnail Image
Start
01 August 1993
End
31 July 1996
Framework
FP3
fundingProgram
FP3-HCM
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022