Formal Compositional Semantics for Yakindu Statecharts

TitleFormal Compositional Semantics for Yakindu Statecharts
Publication TypeConference Paper
Year of Publication2017
AuthorsGraics, B., and Molnár, V.
EditorPataki, B.
Conference NameProceedings of the 24th PhD Mini-Symposium
Conference LocationBudapest, Hungary
ISBN Number978-963-313-243-2
PDF: