Automated Model Generation of FSM and NuSmv Model from RSA Java Source Code for Model Checking

Alhumaikani, Mohammed Abdulqawi (2021) Automated Model Generation of FSM and NuSmv Model from RSA Java Source Code for Model Checking. Masters thesis, UNSPECIFIED.

Full text not available from this repository.

Item Type:	Thesis (Masters)
Impact Factor:	Submitted
Depositing User:	Mr Ahmad Suhairi Mohamed Lazim
Date Deposited:	19 May 2025 12:40
Last Modified:	19 May 2025 12:40
URI:	http://utpedia.utp.edu.my/id/eprint/28274

Actions (login required)

View Item