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)

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)