Verifying Auto-generated C Code from Simulink : An Experience Report in the Automotive Domain

Cham / Springer (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

Autorinnen und Autoren

Autorinnen und Autoren

Berger, Philipp
Katoen, Joost-Pieter
Ábrahám, Erika
Waez, Md Tawhid Bin
Rambow, Thomas

Identifikationsnummern