From MITL to Timed Automata

  • Thomas Ferrère (Autor)
  • Oded Maler (Autor)
  • Nickovic, D. (Vortragender)
  • Amir Pnueli (Autor)

Aktivität: Vortrag ohne Tagungsband / VorlesungPräsentation auf einer wissenschaftlichen Konferenz / Workshop

Zeitraum10 Apr. 2018
EreignistitelMTCPS'19
VeranstaltungstypSonstiges
BekanntheitsgradInternational

Research Field

  • Dependable Systems Engineering