Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee. Formal Modeling and Analysis of the AFDX Frame Management Design. In Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea. pages 393-399, IEEE Computer Society, 2006. [doi]
Abstract is missing.