A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates

Goran Frehse, Nikolaos Kekatos (Vortragende:r), Dejan Nickovic, Jens Oehlerking, Simone Schuler, Matthias Woehrle

Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

OriginalspracheEnglisch
Titel2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018
Seiten2384-2391
Seitenumfang8
PublikationsstatusVeröffentlicht - 2018
VeranstaltungACC 2018 -
Dauer: 27 Juni 201829 Juni 2018

Konferenz

KonferenzACC 2018
Zeitraum27/06/1829/06/18

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren