ThEodorE: a Trace Checker for CPS Properties

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Claudio Menghi, Enrico ViganĂ², Domenico Bianculli, Lionel Briand

Journal title: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

Journal publisher: IEEE

Published year: 2021

Published pages: 183-184

DOI identifier: 10.1109/icse-companion52605.2021.00079

ISSN: 2574-1926