direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

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

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions