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]

Authors

N. Suresh Kumar

This author has not been identified. Look up 'N. Suresh Kumar' in Google

G. Santhosh Kumar

This author has not been identified. Look up 'G. Santhosh Kumar' in Google

Shailesh Sivan

This author has not been identified. Look up 'Shailesh Sivan' in Google

A. Sreekumar

This author has not been identified. Look up 'A. Sreekumar' in Google