direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Equivalence Checking for Hybrid Control Systems modelled in Simulink
Zitatschlüssel Schlesinger2018
Autor Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner
Buchtitel IEEE International Workshop on Model-based Verification and validation (MVV 2018)
Seiten 572–579
Jahr 2018
Verlag IEEE
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe