
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