Work

Formalization and Verification of Enhanced Group Communication CoAP

Year: 2023

Type: article

Source: International Journal of Software Engineering and Knowledge Engineering

DOI: 10.1142/s0218194023500535

Authors: Sini Chen, Ran Li, Huibiao Zhu

Institutions: Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Nanjing University of Information Science and Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

Awards: 面向信息物理融合系统的程序统一理论研究, G41279851

OpenAlex ID: W4386222425

FWCI: 1.61

Cites: 44

Cited by: 9

Related to: 10