Formalization and Verification of Group Communication CoAP Using CSP.

Sini Chen, Ran Li, Huibiao Zhu

Browse the full PDCAT paper archive.