Sign in
Fault Ascription in Concurrent Systems.
Gregor Gößler
Jean-Bernard Stefani
Published in:
TGC (2015)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
fault detection
fault diagnosis
process algebra
formal specification
transition systems
petri net
mental states
model checking
fault model
database
fuzzy petri net
failure modes
fine grained
neural network
data sets