Controller verification meets controller code: a case study

Freiberger, Felix; Schupp, Stefan; Hermanns, Holger; Ábrahám, Erika

New York, NY, United States : Association for Computing Machinery (2021)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design
Page(s)/Article-Nr.: 98-103