Novel abstraction methods for TDMA based MAC protocols: Case of IIoT MAC Wireless HART Verification

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]

Bibliographies