Login / Signup
An Eliminating Causal Ambiguity Approach to Reactive Systems.
Houguang Yue
Published in:
ACIS-ICIS (2009)
Keyphrases
</>
reactive systems
model checking
information flow
temporal logic
petri net
control flow
formal methods
real time systems
causal reasoning
causal relationships
causal relations
causal networks
causal models
bayesian networks
state machines
database