Deutsch
EnglishInformatik an der TU Clausthal > Aktuelle > Dipl.-Wirt.-Inf. Sara Bessling
Dipl.-Wirt.-Inf. Sara Bessling
Institut für Informatik
Julius-Albert-Str. 4, Raum 110
38678 Clausthal-Zellerfeld
Telefon: +49-5323-72-7155
E-Mail: sara.bessling at tu-clausthal.de
Veröffentlichungen
Konferenzbeiträge (6)
|
Huhn, Michaela and Bessling, Sara: Enhancing Product Line Development by Safety Requirements and
Verification, LNCS, Springer, 2013 |
|
|
Bessling, Sara and Huhn, Michaela: Formal Safety Analysis and Verification in the
Model Driven Development of a Pacemaker Product Line, 2012 |
|
|
Huhn, Michaela and Bessling, Sara: Towards Certifiable Software for Medical Devices: The Pacemaker Case Study Revisited, 2011 |
|
|
Lohrengel, A. and Bessling, S. and Stahr, K. and Wesling, V. and Echtermeyer, P.: Finite Element Design (FED) - a new approach for material and manufacturing
based design rules, 2010 |
|
|
Lohrengel, A. and Bessling, S. and Stahr, K. and Wesling, V. and Echtermeyer, P.: Konstruktionssystematik zur Entwicklung hochfester, lokal angepasster
Strukturen mit Hilfe des Finite Elemente Design, 2009 |
|
|
Stiefel, P. D. and Müller, J. P. and Bessling, S. and Hausknecht, C. and Dokters, T.: Realizing dynamic product collaboration processes in a model-driven framework: Case study and lessons learnt, 2008 |
Dokumente
- Towards Certifiable Software for Medical Devices: The Pacemaker Case Study Revisited - 5th International Workshop on Harnessing Theories for Tool Support in Software
- Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line - Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES VIII)