Title
Checking Metric Temporal Logic with TRACE
Author
Hendriks, M.
Geilen, M.
Behrouzian, A.R.B.
Basten, T.
Alizadeh, H.
Goswami, D.
Contributor
Desel, J. (editor)
Yakovlev, A. (editor)
Publication year
2017
Subject
ICT
ESI - Embedded Systems Innovations
TS - Technical Sciences
Informatics Electronics
Industrial Innovation
Execution trace
Explanation
Informative prefix
Metric temporal logic
Visualization
To reference this document use:
http://resolver.tudelft.nl/uuid:9c80a4c9-b327-47bb-a3bb-07b7bdb52db3
DOI
https://doi.org/10.1109/acsd.2016.13
TNO identifier
749123
Publisher
Institute of Electrical and Electronics Engineers Inc.
ISBN
9781509025893
ISSN
1550-4808
Source
16th International Conference on Application of Concurrency to System Design, ACSD 2016. 19 June 2016 through 24 June 2016, 19-24
Article number
7842497
Document type
conference paper