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.

This list was generated on Mon Dec 23 00:34:03 2024 +08.