Sebastian Schlesinger und Paula Herber - Info zur Person

(1 - 5 von 9

)

[PDF] Towards the Verification of Refactorings of Hybrid Simulink Modelsrefal.botik.ru › vpt › vpt2015 › VPT2015_abstract_preprint_7

refal.botik.ru

Sebastian Schlesinger. Paula Herber. Thomas Gцthel. Sabine Glesner. Technische Universitдt Berlin. Software Engineering of Embedded Systems. {Sebastian.

Paula HerberDBLP

dblp.org

Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner: Equivalence Checking for Hybrid Control Systems Modelled in Simulink.

Software and Embedded Systems Engineering: PublikationenTU Berlin

www.sese.tu-berlin.de

13th International Conference on Software Technologies (ICSOFT'18, to appear). SCITEPRESS. Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine ... › menue › publikationen

Software TechnologiesSpringer

link.springer.com

von M van Sinderen — Nikolai Moesus, Matthias Scholze, Sebastian Schlesinger, Paula Herber. Pages Model-Based On-the-Fly Testing of Web Applications and ...