e GI: Publications


Publications

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
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},
}


Back to summary
 

Contact  Search  Sitemap  Data Privacy  Imprint
© TU Clausthal 2020