
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 * | The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
* ICSE 2018 *-profile
View general profile
View general profile