e GI: Publications


Publications

Author:Huhn, Michaela and Milius, Stefan
Title:Observations on Formal Safety Analysis in Practice
Journal:Science of Computer Programming
Year:2013
Publisher:Elsevier
BibTeX-Code:
@article{HM13,
author={Huhn, Michaela and Milius, Stefan},
title={Observations on Formal Safety Analysis in Practice},
journal={Science of Computer Programming},
year={2013},
publisher={Elsevier},
}


Back to summary
 

Contact  Search  Sitemap  Data Privacy  Imprint
© TU Clausthal 2020