Timed CTL checking of time critical cloud applications using timed bigraphs.

Fateh Latreche Faiza Belala

Published in: Int. J. Crit. Comput. Based Syst. (2019)

Keyphrases

timed automata
petri net
model checking
temporal logic
cloud computing
discrete event
verification method
neural network
real world
data mining
databases
decision making
multiscale
dynamic systems
colored petri nets