Code rule checking method and system based on knowledge base feature matching
ZHANG WEIXIN, SONG LILI, SHI XIAOMIN, WEI DONGDONG, OUYANG ZHAO, YIN LONGWEN
Year of Publication 28.12.2021
Get full text
Year of Publication 28.12.2021
Patent
Implementation method of virtual 1553B bus equipment
YU QINGHUA, WEI DONGDONG, CHEN ENYAO, JIN ZHEN, YIN LONGWEN, SU JINMEI
Year of Publication 29.05.2020
Get full text
Year of Publication 29.05.2020
Patent
A semantic consistency verification method for software design and implementation
XUE LEI, ZHOU KAILIN, SONG LILI, LIU GUOBIN, HOU ZHENGPING, YIN LONGWEN
Year of Publication 02.04.2019
Get full text
Year of Publication 02.04.2019
Patent