Items where Author is "SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

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.