5G Specifications Formal Verification with Over-the-Air Validation: Prompting is All You Need

Tom Wray, Ying Wang

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Fingerprint

Dive into the research topics of '5G Specifications Formal Verification with Over-the-Air Validation: Prompting is All You Need'. Together they form a unique fingerprint.

Computer Science