Research on monitoring method during the construction of safety-critical softwareBen WANG, Chengjun DING, Wei LIN and Chunyan MAJNWPU, 43 3 (2025) 600-609DOI: https://doi.org/10.1051/jnwpu/20254330600
