Mixed-Time Signal Temporal Logic

Thomas Ferrère, Oded Maler, Dejan Nickovic (Vortragende:r)

Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

OriginalspracheEnglisch
TitelFormal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
Seiten59-75
Seitenumfang17
PublikationsstatusVeröffentlicht - 2019
VeranstaltungFORMATS 2019 -
Dauer: 27 Aug. 201928 Aug. 2019

Konferenz

KonferenzFORMATS 2019
Zeitraum27/08/1928/08/19

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren