Computer Engineering & Science
Previous Articles Next Articles
HUANG Yihao,FENG Jincao,ZHENG Hanyue,MIAO Weikai,PU Geguang
Received:
Revised:
Online:
Published:
Abstract:
Key words: software requirements modeling, requirement validation, formal engineering method, formal method
HUANG Yihao,FENG Jincao,ZHENG Hanyue,MIAO Weikai,PU Geguang.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://joces.nudt.edu.cn/EN/
http://joces.nudt.edu.cn/EN/Y2019/V41/I06/1016