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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.