Skip to main navigation Skip to search Skip to main content

Localizing Faults in Simulink Models using STL

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

    Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

    Period1 Nov 2018
    Event titleSchool of computing, informatics, decision systems engineering, Arizona State University
    Event typeOther

    Research Field

    • Dependable Systems Engineering