Work

Research on Fault Mode Analysis Method of Nuclear I&C Software Based on Time Automata

Year: 2024

Type: conference-paper

Source: Global Reliability and Prognostics and Health Management Conference (PHM)

DOI: 10.1109/phm-beijing63284.2024.10874510

Authors: Genhua Liang, Yong Li, Yanqun Wu, Fei Yang, Zhichuan Zeng, Xuanlin Zhu, HongXin Deng

Institutions: Nuclear Power Institute of China, Shanghai University of Engineering Science

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Key Research and Development Program of China

Award: G37134666

OpenAlex ID: W4407692550

FWCI: 0.707

Cites: 2

Cited by: 1

Related to: 10