Login / Signup
Partial Order Reduction for Timed Actors.
Maryam Bagheri
Marjan Sirjani
Ehsan Khamespanah
Hossein Hojjat
Ali Movaghar
Published in:
VSTTE (2021)
Keyphrases
</>
partial order reduction
model checking
petri net
timed automata
social networks
finite state machines
genetic algorithm
information systems
artificial neural networks
colored petri nets
decision trees
query processing
probability distribution
state space