航空机载嵌入式控制软件需求建模的形式化工程方法

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

航空机载嵌入式控制软件需求建模的形式化工程方法

黄怿豪，冯劲草，郑寒月，缪炜恺，蒲戈光

A formal engineering method for requirement

modeling of airborne embedded control software

HUANG Yihao,FENG Jincao,ZHENG Hanyue,MIAO Weikai,PU Geguang

计算机工程与科学 . 2019, (06): 1016 -1025 .