N. Suresh Kumar, G. Santhosh Kumar, Shailesh Sivan, A. Sreekumar. Novel abstraction methods for TDMA based MAC protocols: Case of IIoT MAC Wireless HART Verification. Telecommunication Systems, 85(1):125-150, January 2024. [doi]
@article{KumarKSS24,
title = {Novel abstraction methods for TDMA based MAC protocols: Case of IIoT MAC Wireless HART Verification},
author = {N. Suresh Kumar and G. Santhosh Kumar and Shailesh Sivan and A. Sreekumar},
year = {2024},
month = {January},
doi = {10.1007/s11235-023-01069-3},
url = {https://doi.org/10.1007/s11235-023-01069-3},
researchr = {https://researchr.org/publication/KumarKSS24},
cites = {0},
citedby = {0},
journal = {Telecommunication Systems},
volume = {85},
number = {1},
pages = {125-150},
}