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

2018

ICSE

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