Basu10b

Ananda Basu, Marius Bozga, Saddek Bensalem, Benoît Delahaye, Axel Legay, Emmanuel Sifakis. Verification of an AFDX Infrastructure using Simulations and Probabilities. In Proc. 1st International Conference on Runtime Verification, Malta, Lecture Notes in Computer Science, Volume, Pages 0-0, 2010.

Keyword

[ Component ]

BibTex Reference

@InProceedings{Basu10b,
   Author = {Basu, Ananda and Bozga, Marius and Bensalem, Saddek and Delahaye, Benoît and Legay, Axel and Sifakis, Emmanuel},
   Title = {Verification of an AFDX Infrastructure using Simulations and Probabilities},
   BookTitle = {Proc. 1st International Conference on Runtime Verification, Malta},
   Volume = {},
   Pages = {0--0},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-verlag},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)