PROMELA based formal verification for safety-critical software by XING Liang, DING Chengjun, DU Hupeng, MA Chunyan

Get full text

AADL architecture model construction based on FACE mode by LYU Guangzhe, YU Chunhai, KANG Kai, MA Chunyan, LIN Wei

Get full text

Research on AFDX network configuration testing technology by CHEN Fang, LYU Guangzhe, LIN Wei, HOU Xixi, MA Chunyan

Get full text

AFDX network equipment fault diagnosis technology by HU Lei, LIU Yang, GUO Qingchao, SHI Yu, MA Chunyan, ZHANG Jiandong, ZHANG Tao

Get full text

Influence of inorganic salt on retention of ibuprofen by nanofiltration by Ren, Tongxin, Han, Le, Liu, Rui, Ma, Chunyan, Chen, Xingyu, Zhao, Siyu, Zhang, Yang

Get full text
Get full text