Work

Formal Specifications for Data Plane Programs

Year: 2025

Type: conference-paper

DOI: 10.1145/3750022.3750458

Authors: Keyu Yuan, Baber Rehman

Institution: Huawei Technologies (China)

Language: English

Topic: Software-Defined Networks and 5G

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4413311704

FWCI:

Cites: 10

Cited by:

Related to: 10