A Finite State Modeling of AFDX Frame Management Using Spin.

Indranil Saha, Suman Roy

Browse the full FMICS paper archive.