@inproceedings{BBB+0b,
title = {Verification of an AFDX Infrastructure Using Simulations and Probabilities },
author = {Basu, Ananda and Bensalem, Saddek and Bozga, Marius and Delahaye, Beno\^it and Legay, Axel and Sifakis, Emmanuel},
year = {2010},
booktitle = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
pages = {330-344},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6418},
team = {DCS, RSD},
ee = {http://dx.doi.org/10.1007/978-3-642-16612-9_25},
}