Sign in
Advanced selfloop removal in compositional nonblocking verification of discrete event systems.
Robi Malik
Published in:
CASE (2015)
Keyphrases
</>
discrete event systems
petri net
complex systems
discrete event
telecommunication networks
model based diagnosis
timed petri nets
failure diagnosis
model checking
temporal constraints
sensor networks
dynamic systems
signature verification
mobile devices
special case
simulation model