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