Items where Author is "SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI"
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI (2021) AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING. Masters thesis, Universiti Teknologi PETRONAS.