Thomas Göthel und Paula Herber - Info zur Person

(1 - 14 von 20

)

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, › html

Universität Münster

www.uni-muenster.de

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

Timed Path Conditions in MATLAB/Simulink - IFIP - HALArchive ouverte HAL

ifip.hal.science

von M Mikulcak · · Zitiert von: 2 — Timed Path Conditions in MATLAB/Simulink. Marcus Mikulcak (1) , Paula Herber (1) , Thomas Göthel (1) , Sabine Glesner (1). Show details. 1 TUB - Technical ... von M Mikulcak · · Zitiert von: 2 — Timed Path Conditions in MATLAB/Simulink. Marcus Mikulcak (1) , Paula Herber (1) , Thomas Göthel (1) , Sabine Glesner (1). Show details. 1 TUB - Technical ...

Timed Path Conditions in MATLAB/SimulinkArchive ouverte HAL

hal.science

von M Mikulcak · · Zitiert von: 2 — Timed Path Conditions in MATLAB/Simulink. Marcus Mikulcak (1) , Paula Herber (1) , Thomas Göthel (1) , Sabine Glesner (1). Afficher plus de détails. 1 TUB ... von M Mikulcak · · Zitiert von: 2 — Timed Path Conditions in MATLAB/Simulink. Marcus Mikulcak (1) , Paula Herber (1) , Thomas Göthel (1) , Sabine Glesner (1). Afficher plus de détails. 1 TUB ...

dblp: Paula Herber

dblp.uni-trier.de

List of computer science publications by Paula Herber

EPTCS 199: Verification and Program TransformationUniversity of New South Wales

cgi.cse.unsw.edu.au

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

CyPhy 2015

2015.cyphy.org

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

Information Flow Analysis of Combined Simulink/Stateflow ...ktu.lt

itc.ktu.lt

von M Mikulcak · · Zitiert von: 4 — ... Paula Herber University of Münster Computer Science Department; Thomas Göthel Technische Universität Berlin Software and Embedded ...

Timed Path Conditions in MATLAB/Simulink

hal.archives-ouvertes.fr

von M Mikulcak · · Zitiert von: 2 — Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner. Timed Path Conditions in MATLAB/Simulink. 5th International Embedded Systems Symposium (IESS), ... › ha...