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.

This list was generated on Sat Feb 7 05:56:15 2026 +08.