Kehinde G. Samuel

According to our database, Kehinde G. Samuel authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

A DEVS-based pivotal modeling formalism and its verification and validation framework.

Kehinde G. Samuel, Nourou-Dine M. Bouare, Oumar Y. Maïga, Mamadou K. Traoré

Simul., 2020

2019

Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems.

Kehinde G. Samuel, Oumar Y. Maïga, Mamadou K. Traoré

Int. J. Model. Simul. Sci. Comput., 2019