Verimag

bibtex

@inproceedings{BBB+10e,
    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},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 913403