Conference
AssertGPT: LLMs-empowered Assertion-based Verification of Programmable Networks
| Τίτλος: | AssertGPT: LLMs-empowered Assertion-based Verification of Programmable Networks |
|---|---|
| Συγγραφείς: | Yao, Ying, Tian, Le, Pan, Fan, Hu, Yuxiang, Yang, Xingyuan, Zhan, Qi, Yue, Qiqiang |
| Πηγή: | 2025 25th Asia-Pacific Network Operations and Management Symposium (APNOMS) Network Operations and Management Symposium (APNOMS), 2025 25th Asia-Pacific. :1-6 Sep, 2025 |
| Relation: | 2025 25th Asia-Pacific Network Operations and Management Symposium (APNOMS) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!