Integrating State Machine Analysis with System-Theoretic Process Analysis

Asim Abdulkhaleq, Stefan Wagner. Integrating State Machine Analysis with System-Theoretic Process Analysis. In Stefan Wagner, Horst Lichter, editors, Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen. Volume 215 of LNI, pages 501-514, GI, 2013.

@inproceedings{AbdulkhaleqW13,
  title = {Integrating State Machine Analysis with System-Theoretic Process Analysis},
  author = {Asim Abdulkhaleq and Stefan Wagner},
  year = {2013},
  researchr = {https://researchr.org/publication/AbdulkhaleqW13},
  cites = {0},
  citedby = {0},
  pages = {501-514},
  booktitle = {Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen},
  editor = {Stefan Wagner and Horst Lichter},
  volume = {215},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-609-1},
}