Verification of an AFDX Infrastructure Using Simulations and Probabilities.

Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Delahaye, Axel Legay, Emmanuel Sifakis

Browse the full RV paper archive.