Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University

PROMELA based formal verification for safety-critical software

Liang XING, Chengjun DING, Hupeng DU and Chunyan MA

JNWPU, 40 5 (2022) 1180-1187

Published online: 28 November 2022

DOI: 10.1051/jnwpu/20224051180

Liang XING

Chengjun DING

Hupeng DU

Chunyan MA

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)