Kehinde G. Samuel

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Emergent Behavior

Complex Systems

Model Validation

Agent Based Modelling

Top Venues

Int. J. Model. Simul. Sci. Comput.

Publications

Kehinde G. Samuel, Nourou-Dine M. Bouare, Oumar Maïga, Mamadou K. Traoré
A DEVS-based pivotal modeling formalism and its verification and validation framework. Simul. 96 (12) (2020)
Kehinde G. Samuel, Oumar Maïga, Mamadou K. Traoré
Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems. Int. J. Model. Simul. Sci. Comput. 10 (5) (2019)