C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
DevOps workflow verification and duration prediction using non-Markovian stochastic Petri nets.
Walid Ben Mesmia
Mohamed Escheikh
Kamel Barkaoui
Published in:
J. Softw. Evol. Process. (2021)
Keyphrases
</>
prediction accuracy
prediction error
reinforcement learning
prediction model
stochastic process
decision processes
neural network
formal verification
data sets
machine learning
web services
decision trees
case study
markov chain