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