Requirement-driven verification and debugging with Signal Temporal Logic

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

Aktivität: Vortrag ohne Tagungsband / VorlesungPräsentation auf einer wissenschaftlichen Konferenz / Workshop

Zeitraum19 Juli 2019
EreignistitelBosch
VeranstaltungstypSonstiges

Research Field

  • Dependable Systems Engineering