Localizing and Explaining Faults with STL

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

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

Zeitraum5 Juni 2018
EreignistitelCISE Invited Lecture, Boston University
VeranstaltungstypSonstiges

Research Field

  • Dependable Systems Engineering