Not registered as user yet
Name: Gregor Bochmann
Affiliation: U. of Ottawa
Contributions
ICSE 2019 | Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2019-profile
View general profile
View general profile