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]
@inproceedings{KrishnanL18-0,
title = {A Comparison of AFDX and 1553B Protocols Using Formal Verification},
author = {Ranjani Krishnan and V. R. Lalithambika},
year = {2018},
doi = {10.1109/ICACCI.2018.8554434},
url = {https://doi.org/10.1109/ICACCI.2018.8554434},
researchr = {https://researchr.org/publication/KrishnanL18-0},
cites = {0},
citedby = {0},
pages = {1617-1623},
booktitle = {2018 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2018, Bangalore, India, September 19-22, 2018},
publisher = {IEEE},
isbn = {978-1-5386-5314-2},
}