TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation


Equivalence Checking for Hybrid Control Systems modelled in Simulink
Citation key Schlesinger2018
Author Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner
Title of Book IEEE International Workshop on Model-based Verification and validation (MVV 2018)
Pages 572–579
Year 2018
Publisher IEEE
Download Bibtex entry


Quick Access

Schnellnavigation zur Seite über Nummerneingabe