Sign in
Generalised verification of the observer property in discrete event systems.
Hugo J. Bravo
Antonio Eduardo Carrilho da Cunha
Patrícia Nascimento Pena
Robi Malik
José E. R. Cury
Published in:
WODES (2012)
Keyphrases
</>
discrete event systems
petri net
complex systems
telecommunication networks
failure diagnosis
model based diagnosis
timed petri nets
discrete event
verification method
model checking
temporal constraints
database systems
multi agent systems
dynamic systems