Controller Verification Meets Controller Code: A Case Study
Jan 1, 2021·
,,·
0 min read
Felix Freiberger
Stefan Schupp
Holger Hermanns
Erika Ábrahám
Type
Publication
Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design
