| 标题 |
 5G Specifications Formal Verification with Over-the-Air Validation: Prompting is All You Need 5G规范通过无线验证进行正式验证：您只需要提示
相关领域
计算机科学
形式验证
形式化方法
验证
软件工程
软件验证
验证和确认
程序设计语言
软件
工程类
软件开发
软件建设
运营管理
|
| 网址 | |
| DOI | |
| 其它 |
期刊：MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM) 作者：Tom Wray; Ying Wang 出版日期：2024-10-28 |
| 求助人 | |
| 下载 | 求助已完成，仅限求助人下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
SYLH
请叫我风吹麦浪
Hungrylunch
kingwill
pcr163
36456657
zho
Leon
个性的紫菜
浦肯野
yar
眯眯眼的衬衫
VDC
杳鸢
天真蓝
cc
无名老大
期待未来的自己
Loooong
简单
皖公网安备34019202002308
