Debbi, Hichem, University of M'sila, Algeria
-
Vol 42, No 2 (2018) - Overview papers
Counterexamples in Model Checking - A survey
Abstract PDF -
Vol 45, No 4 (2021) - Regular papers
Modeling and Performance Analysis of Resource Provisioning in Cloud Computing using Probabilistic Model Checking
Abstract PDF