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 / VorlesungPrä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