Home » Authors » Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis

Public reference bibliography and cataloged PDF materials authored or published by Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis.

Found 1 document(s) Page 1 of 1

Verification of an AFDX infrastructure using simulation and probabilities

Year: 2010 • Source: hal.science • Listed PDF

Until recently, there was not a strong need for networking inside aircrafts. Indeed, the communications were mainly cabled and handled by etherned protocols. The evolution of avionics embedded systems and the number of i...