Login / Signup
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness.
Christel Baier
Nathalie Bertrand
Philippe Schnoebelen
Published in:
FORTE (2006)
Keyphrases
</>
communication channels
management system
bayesian networks
distributed systems
intelligent systems
database
computer systems
resource allocation
model checking
real time
high level
data streams
uncertain data
formal methods