Controller verification meets controller code: a case study
Freiberger, Felix; Schupp, Stefan; Hermanns, Holger; Ábrahám, Erika
ACM (2021)
Contribution to a book, Contribution to a conference proceedings
In: MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, November 2021
Page(s)/Article-Nr.: 98-103
Identifier
- DOI: 10.1145/3487212.3487337
- RWTH PUBLICATIONS: RWTH-2022-02005