Return to Article Details
Toward a Reliable IoT Communication Protocol: UPPAAL-Verified Timed Automata for CoAP
Download
Download PDF