![](/img/cover-not-exists.png)
Formal verification with HiLLS-specified models: A further step in multi-analysis modeling of complex systems
Samuel, Kehinde G., Maiga, Oumar, Traoré, Mamadou K.Volume:
10
Language:
english
Journal:
International Journal of Modeling, Simulation, and Scientific Computing
DOI:
10.1142/s1793962319500326
Date:
October, 2019
File:
PDF, 1.35 MB
english, 2019