Ranjani Krishnan, V. R. Lalithambika. A Comparison of AFDX and 1553B Protocols Using Formal Verification. In 2018 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2018, Bangalore, India, September 19-22, 2018. pages 1617-1623, IEEE, 2018. [doi]
Abstract is missing.