From Real-Time Logic to Timed Automata

Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vortrag ohne Tagungsband

Zeitraum22 Juni 2020 → 26 Juni 2020
EreignistitelMOVEP Summer School 2020
VeranstaltungstypSonstiges
Bekanntheitsgrad - verpflichtend einzutragen!International

Research Field

  • Dependable Systems Engineering