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