
Registered user since Wed 9 Sep 2020
Name:Khaled El-Fakih
Affiliation:American University of Sharjah
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