Formal Specification and Analysis of AFDX Redundancy Management Algorithms.

Jan Tubrich, Reinhard von Hanxleden

Browse the full SAFECOMP paper archive.