Login / Signup
Verification of an AFDX Infrastructure Using Simulations and Probabilities.
Ananda Basu
Saddek Bensalem
Marius Bozga
Benoît Delahaye
Axel Legay
Emmanuel Sifakis
Published in:
RV (2010)
Keyphrases
</>
model checking
probability distribution
belief networks
numerical simulations
occurrence probability
real time
building blocks
simulation environment
simulation models
multi agent
data collection
simulation model
probability theory
formal verification
asynchronous circuits
highly distributed