Exploration and Application of Formal Methods in I&C of Nuclear Power Plants

Springer proceedings in physics 2026

View at publisher
Authors: Rongbin Hou, Quan Ma, Yang Zhao, Minghao Liu, Gen-Hua Liang, YiJie Qu, YiFan Huang, Nan Li
DOI: 10.1007/978-981-95-2921-6_1
Cited by: 0
References: 12

Fields of Study & Subjects

Software Reliability and Analysis Research Formal Methods in Verification Safety Systems Engineering in Autonomy

Publication details

Journal / source
Springer proceedings in physics
Pages
1–13
Publication date
1 January 2026
Language
EN