Login / Signup
Intelligent Inference For Debugging Concurrent Systems.
Mike Brayshaw
Published in:
DEXA (1993)
Keyphrases
</>
concurrent systems
fuzzy petri net
temporal logic
distributed systems
process algebra
transition systems
petri net
model checking
bayesian networks
intelligent systems
formal specification
probabilistic inference
decision support
inference process
data sets
neural network