Theory and Formal Methods Lab.

Partners

Esterel Technologies

Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B, EN 50128 and IEC 61508 safety-critical systems.

Official Esterel Technologies Academic Partner


APIS

We would like to thank APIS Informationstechnologien GmbH for their friendly support and for supplying the fmea software APIS IQ-Software for free for research and education!

We would like to thank APIS Informationstechnologien GmbH for their friendly support and for supplying the fmea software APIS IQ-Software for free for research and education!




SNS

  • Facebook Group
  • Yammer


  • ©all rights reserved