TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation

Publications

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

Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe