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