陈红学, 马卫红, 杨雅涵, & 申翔宇. (2026). 基于大模型的形式化验证系统架构设计. Railway Signalling & Communication Engineering, 23(3), 9. https://doi.org/10.3969/j.issn.1673-4440.2026.03.002
Chicago Style (17th ed.) Citation陈红学, 马卫红, 杨雅涵, and 申翔宇. "基于大模型的形式化验证系统架构设计." Railway Signalling & Communication Engineering 23, no. 3 (2026): 9. https://doi.org/10.3969/j.issn.1673-4440.2026.03.002.
MLA (9th ed.) Citation陈红学, et al. "基于大模型的形式化验证系统架构设计." Railway Signalling & Communication Engineering, vol. 23, no. 3, 2026, p. 9, https://doi.org/10.3969/j.issn.1673-4440.2026.03.002.
Warning: These citations may not always be 100% accurate.
