Automatic SysML-based safety analysis

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