Formal Modeling and Analysis of the AFDX Frame Management Design.

Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee

Browse the full ISORC paper archive.