ZHANG, F., ZHANG, L., ZHAO, Y., LIU, Y., & SUN, J. (2023). Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. Institutional Knowledge at Singapore Management University.

ZHANG, Feng, Leping ZHANG, Yongwang ZHAO, Yang LIU, و Jun SUN. Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. Institutional Knowledge at Singapore Management University, 2023.

ZHANG, Feng, et al. Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. Institutional Knowledge at Singapore Management University, 2023.