Controller verification meets controller code: a case study

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

ACM (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, November 2021
Seite(n)/Artikel-Nr.: 98-103

Identifikationsnummern