Model-based quality assurance in machine and plant automation using sequence diagrams - A comparison of two research approaches

Susanne Rösch, Sabine Teufl, Birgit Vogel-Heuser. Model-based quality assurance in machine and plant automation using sequence diagrams - A comparison of two research approaches. In 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015. pages 302-307, IEEE, 2015. [doi]

@inproceedings{RoschTV15,
  title = {Model-based quality assurance in machine and plant automation using sequence diagrams - A comparison of two research approaches},
  author = {Susanne Rösch and Sabine Teufl and Birgit Vogel-Heuser},
  year = {2015},
  doi = {10.1109/INDIN.2015.7281751},
  url = {http://dx.doi.org/10.1109/INDIN.2015.7281751},
  researchr = {https://researchr.org/publication/RoschTV15},
  cites = {0},
  citedby = {0},
  pages = {302-307},
  booktitle = {13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015},
  publisher = {IEEE},
  isbn = {978-1-4799-6649-3},
}