The Verification of Probabilistic Lossy Channel Systems.

Philippe Schnoebelen

Published in: Validation of Stochastic Systems (2004)

Keyphrases

management system
expert systems
computer systems
computer simulation
building blocks
asynchronous circuits
distributed systems
generative model
model checking
face verification