Work

Trustworthy Formal Verification in 5G Protocols: Evaluating Generative and Classification Models for Relation Extraction

Year: 2024
Type: conference-paper
Language: English
Open Access status: closed
OpenAlex ID: W4405103687
FWCI: 1.175
Cites: 29
Cited by: 4
Related to: 10