| |||
DFG - Timed Model-Checking for Time-Triggered SystemdesignsProjektbeschreibung:Timed Model-Checking for Time-Triggered SystemdesignsProjektlaufzeit: Projektbeginn: 01.02.2018Projektleitung: Dr. Westphal Bernd Mitarbeiter:
Aktueller Forschungsbericht |