Bibliographic Details
| Title: |
基于大模型的形式化验证系统架构设计. (Chinese) |
| Authors: |
陈红学1,2, chenhongxue@crscd.com.cn, 马卫红1,2, 杨雅涵1,2, 申翔宇1,2 |
| Source: |
Railway Signalling & Communication Engineering; 2026, Vol. 23 Issue 3, p9-14, 6p |
| Database: |
Applied Science & Technology Source |
