Localizing Faults in Simulink Models using STL

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

    Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

    Zeitraum1 Nov. 2018
    EreignistitelSchool of computing, informatics, decision systems engineering, Arizona State University
    VeranstaltungstypSonstiges

    Research Field

    • Dependable Systems Engineering