Search Results - (( java implication bees algorithm ) OR ( java generation rsa algorithm )) :: MALRep

Search alternatives:

java implication »
implication bees »
java generation »
- data generation (Expand Search)
- case generation (Expand Search)
bees algorithm »
- based algorithm (Expand Search)
- bat algorithm (Expand Search)
generation rsa »
rsa algorithm »

1

AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING by SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI

Published 2021

Get full text
Get full text

Thesis

Save to List

Saved in: