<div style="line-height: 150%">A formal engineering method for requirement</div> <div style="line-height: 150%">modeling of airborne embedded control software</div>

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

Computer Engineering & Science . 2019, (06): 1016 -1025 .