Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gregor Bochmann
conf.researchr.org general profile
ICSE 2019 profile
Not registered as user
Name:
Gregor Bochmann
Affiliation:
U. of Ottawa
Contributions
2019
ICSE
Author of Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers within the Journal-First Papers-track
Share
x
Sat 25 Oct 02:16