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 › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

Zeitraum3 Juni 2018
EreignistitelMathWorks Research Summit 2018 (Presentation to the V&V group of MathWorks)
VeranstaltungstypSonstiges
BekanntheitsgradInternational

Research Field

  • Dependable Systems Engineering