[Zurück zum
Forschungsbericht]

DFG - Timed Model-Checking for Time-Triggered Systemdesigns

Projektbeschreibung:
Timed Model-Checking for Time-Triggered Systemdesigns

Ansprechpartner: Berit Brauer
Tel: 2038247
Email: brauer@informatik.uni-freiburg.de
Projektlaufzeit:
Projektbeginn: 01.02.2018
Projektende: 31.01.2021
Projektleitung:
Dr. Westphal Bernd

Albert-Ludwigs-Universität Freiburg


Mitarbeiter:
  • Westphal B
Finanzierung:

  • DFG, DFG

Aktueller Forschungsbericht