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