Design and Verification of Ethernet Protocol.

K. L. V. Ramana Kumari Avinash Surabhi Surya Harshini G Pavan Kumar Reddy K

Published in: ICCCNT (2023)

Keyphrases

user interface
lightweight
computer aided
tcp ip
building blocks
engineering design
formal methods
formal analysis
data sets
multi agent systems
control system
embedded systems
design tools
formal verification
model checker