  |
Items where Author is "Graics, Bence"
Group by: Item Type | No Grouping Jump to: Book Section Number of items: 2. Book SectionMolnár, Vince and Graics, Bence and Vörös, András and Majzik, István and Varró, Dániel (2018) The Gamma Statechart Composition Framework : Design, Verification and Code Generation for Component-Based Reactive Systems. In: Proceedings of the 40th International Conference on Software Engineering Companion. ACM Press, New York, pp. 1-4. ISBN 978-1-4503-5663-3 (In Press) Graics, Bence and Molnár, Vince (2017) Formal Compositional Semantics for Yakindu Statecharts. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 22-25. ISBN 978-963-313-243-2 |
