Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap

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: Proceedings of the 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)

Journal publisher: IEEE Computer Society

Published year: 2021

Published pages: 847-859

DOI identifier: 10.1109/icse43902.2021.00082

ISSN: 1558-1225