Checking Metric Temporal Logic with TRACE

conference paper
2017
Hendriks, M.

Geilen, M.

Behrouzian, A.R.B.

Basten, T.

Alizadeh, H.

Goswami, D.
Topics
Execution traceExplanationInformative prefixMetric temporal logicVisualization
TNO Identifier
749123
Repository link
https://resolver.tno.nl/uuid:9c80a4c9-b327-47bb-a3bb-07b7bdb52db3
ISSN
15504808
ISBN
9781509025893
Publisher
Institute of Electrical and Electronics Engineers Inc.
Article nr.
7842497
Source title
16th International Conference on Application of Concurrency to System Design, ACSD 2016. 19 June 2016 through 24 June 2016
Editor(s)
Desel, J.
Yakovlev, A.
Pages
19-24
Files
To receive the publication files, please send an e-mail request to TNO Repository.