Localizing and Explaining Faults with STL

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

Activity: Talk or presentation / LecturePresentation at a scientific conference / workshop

Period5 Jun 2018
Event titleCISE Invited Lecture, Boston University
Event typeOther

Research Field

  • Dependable Systems Engineering