Registered user since Mon 22 Jun 2020
Name: Faisal Alhwikem
Affiliation: University of York, UK
Contributions
ICSE 2021 | Fast Parametric Model Checking through Model Fragmentation | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2021-profile
View general profile
View general profile