Bence Graics

Registered user since Sun 27 May 2018

Name:Bence Graics
Country:Hungary
Affiliation:Budapest University of Technology and Economics
Research interests:Model-Driven Software Development, Formal Methods

Contributions

* ICSE 2018 * Author of The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems within the DEMO - Demonstrations -track