Full Member
Kehinde Samuel
Membership since:
2025
Field of activity:
Other Memberships/Affiliations
Nigeria Computer Society
Degrees:
2011
Master Computing and Information Technology
2008
Undergraduate Computing and Information Technology
Publications resulting from Research
Samuel, KG., Maïga, O., Traoré, MK. Formal Verification with HiLLS-Specified Models: A Further Step in Multi-Analysis Modeling of Complex Systems. International Journal of Modeling, Simulation, and Scientific Computing 2019; Vol. 10, No. 05: 1950032.