AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic

Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

OriginalspracheEnglisch
Seiten (von - bis)741-758
Seitenumfang18
FachzeitschriftInternational Journal on Software Tools for Technology Transfer
Volume22
Issue6
DOIs
PublikationsstatusVeröffentlicht - 2020

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren