Formal Compositional Semantics for Yakindu Statecharts. Graics, B. & Molnár, V. In 24th Minisymposium of the Department of Measurement and Information Systems, pages 22–25, Budapest, Hungary, 2017.
Formal Compositional Semantics for Yakindu Statecharts [pdf]Pdf  bibtex   

Downloads: 0