Interface-aware signal temporal logic

Thomas Ferrère, Dejan Nickovic (Vortragende:r), Alexandre Donze, Hisahiro Ito, James Kapinski

Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

OriginalspracheEnglisch
TitelProceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019.
Seiten57-66
Seitenumfang10
PublikationsstatusVeröffentlicht - 2019
VeranstaltungHSCC 2019 -
Dauer: 16 Apr. 201918 Apr. 2019

Konferenz

KonferenzHSCC 2019
Zeitraum16/04/1918/04/19

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren