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 Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	741-758
Seitenumfang	18
Fachzeitschrift	International Journal on Software Tools for Technology Transfer
Volume	22
Issue	6
DOIs	https://doi.org/10.1007/s10009-020-00582-z
Publikationsstatus	Veröffentlicht - 2020

Research Field

@article{f3b594b5ce5a4c6f849441c65f17fe1b,

title = "AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic",

author = "Dejan Nickovic and Olivier Lebeltel and Oded Maler and Thomas Ferr{\`e}re and Dogan Ulus",

year = "2020",

doi = "10.1007/s10009-020-00582-z",

language = "English",

volume = "22",

pages = "741--758",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer Verlag",

number = "6",

}

TY - JOUR

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

AU - Nickovic, Dejan

AU - Lebeltel, Olivier

AU - Maler, Oded

AU - Ferrère, Thomas

AU - Ulus, Dogan

PY - 2020

Y1 - 2020

U2 - 10.1007/s10009-020-00582-z

DO - 10.1007/s10009-020-00582-z

M3 - Article

SN - 1433-2779

VL - 22

SP - 741

EP - 758

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 6

ER -