e Institut für Informatik: Dipl.-Wirt.-Inf. Sara Bessling

Informatik 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

Autor:Bessling, Sara and Huhn, Michaela
Titel:Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line
Buchtitel:Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES VIII)
Jahr:2012
Seiten:133-143
Url:http://www.in.tu-clausthal.de/fileadmin/homes/GI/publications/pdf/MBEES2012.pdf
BibTeX-Code:
@inproceedings{BH12,
author={Bessling, Sara and Huhn, Michaela},
title={Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product Line},
booktitle={Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme (MBEES VIII)},
year={2012},
pages={133-143},
url={http://www.in.tu-clausthal.de/fileadmin/homes/GI/publications/pdf/MBEES2012.pdf},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2021