Items where Author is "Alhumaikani, Mohammed Abdulqawi"
Group by: Item Type | No Grouping
Number of items: 1.
Alhumaikani, Mohammed Abdulqawi (2021) Automated Model Generation of FSM and NuSmv Model from RSA Java Source Code for Model Checking. Masters thesis, UNSPECIFIED.