Faul Explanation guided by Signal Temporal Logic Specifications

  • Nickovic, D. (Vortragender)
  • Ezio Bartocci (Autor)
  • Thomas Ferrère (Autor)
  • Oded Maler (Autor)
  • Niveditha Manjunath (Autor)

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

Zeitraum8 Nov. 2018
EreignistitelCOST Action ARVI Workshop
VeranstaltungstypSonstiges

Research Field

  • Dependable Systems Engineering