Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis. Verification of an AFDX Infrastructure Using Simulations and Probabilities. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 330-344, Springer, 2010. [doi]
@inproceedings{BasuBBDLS10,
title = {Verification of an AFDX Infrastructure Using Simulations and Probabilities},
author = {Ananda Basu and Saddek Bensalem and Marius Bozga and Benoît Delahaye and Axel Legay and Emmanuel Sifakis},
year = {2010},
doi = {10.1007/978-3-642-16612-9_25},
url = {http://dx.doi.org/10.1007/978-3-642-16612-9_25},
researchr = {https://researchr.org/publication/BasuBBDLS10},
cites = {0},
citedby = {0},
pages = {330-344},
booktitle = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
editor = {Howard Barringer and Yliès Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann},
volume = {6418},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-16611-2},
}