Paula Herber und Thomas Göthel - Info zur Person

(1 - 7 von 8

)

MMEDIA Program

www.iaria.org

Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner. Development of Real-time LCA System based on Automotive Radar

EPTCS 199: Verification and Program TransformationarXiv

arxiv.org

von A Lisitsa · — Towards the Verification of Refactorings of Hybrid Simulink Models Sebastian Schlesinger, Paula Herber, Thomas Göthel and Sabine Glesner,

Liebrenz, Timm — Welcome to SOAMED

www.informatik.hu-berlin.de

2017: Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner (2017): Towards Service-oriented Design of Hybrid Systems modeled in Simulink. IEEE International Workshop on QUality Oriented Reuse of Software (QUORS 2017, to appear).

Lecture Notes in Informatics

subs.emis.de

... Thomas Göthel, Paula Herber and Sabine Glesner. Full Text: PDF. Gesellschaft für Informatik, Bonn ISBN Last changed :19:

CyPhy 2016

2016.cyphy.org

Sebastian Schlesinger, Paula Herber, Thomas Göthel and Sabine Glesner. Proving …ctness of Refactorings for Hybrid Simulink Models ...

Detailed Program

www.olab-dynamics.net

Marcus Mikulcak, Paula Herber, Thomas Göthel and Sabine Glesner. Information Flow Analysis of Combined Simulink/Stateflow Models. Luigi Novella, Manuela ...