Walid Ben Mesmia, Mohamed Escheikh, Kamel Barkaoui. DevOps workflow verification and duration prediction using non‐Markovian stochastic Petri nets.
Journal of Software: Evolution and Process, John Wiley & Sons, Ltd., 2021,
⟨10.1002/smr.2329⟩.
⟨hal-03042061⟩