Philipp Helle. Automatic SysML-based safety analysis. In Iulian Ober, editor, Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012. pages 19-24, ACM, 2012. [doi]
@inproceedings{Helle12, title = {Automatic SysML-based safety analysis}, author = {Philipp Helle}, year = {2012}, doi = {10.1145/2432631.2432635}, url = {http://doi.acm.org/10.1145/2432631.2432635}, researchr = {https://researchr.org/publication/Helle12}, cites = {0}, citedby = {0}, pages = {19-24}, booktitle = {Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012}, editor = {Iulian Ober}, publisher = {ACM}, isbn = {978-1-4503-1800-6}, }