AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic

Dejan Nickovic (Vortragende:r), Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus

Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung

OriginalspracheEnglisch
TitelTools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
Seiten303-319
Seitenumfang17
PublikationsstatusVeröffentlicht - 2018
VeranstaltungTACAS 2018 -
Dauer: 14 Apr. 201820 Apr. 2018

Konferenz

KonferenzTACAS 2018
Zeitraum14/04/1820/04/18

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren