This page shows all presentations of this author published in EasyChair Smart Slide.
Verifying Auto-Generated C Code from Simulink
Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez and Thomas Rambow