Requirements‐related fault prevention during the transformation from formal specifications to programs by Jiandong Li, Shaoying Liu

Get full text

Verifying the Safety of Formal Specification Using Fault Tree Analysis and Animation by Wen Jiang, Shaoying Liu

Get full text

DevFemOps: enhancing maintainability based on microservices using formal engineering methods by Tetsuo Fukuzaki, Shaoying Liu, Michael Butler

Get full text

The relationship between group attachment and career adaptability of college students: a moderated mediation model by Huiyan Wang, Huiyan Wang, Feng Lu, Shaoying Liu

Get full text

Prediction model for severe mycoplasma pneumoniae pneumonia and analysis of macrolide-resistance in children: a case-control study by Shaoying Liu, Lijun Zhang, Lei Dai, Jinhui Li, Deyuan Li

Get full text

Factors Associated with the Severity of Stress Urinary Incontinence in Elderly Women by Suting Li, Zhi Wang, Lian Yang, Shaoying Liu, Lili Jing, Li Hong

Get full text

Integrative phylogenetic analysis of the genus Episoriculus (Mammalia: Eulipotyphla: Soricidae). by Yingxun Liu, Xuming Wang, Tao Wan, Rui Liao, Shunde Chen, Shaoying Liu, Bisong Yue

Get full text

New insights into the mitogenomic phylogeny and evolutionary history of Murinae (Rodentia, Muridae) with the description of a new tribe by Shuang Liu, Songping Zhao, Jing Wang, Changkun Fu, Xuming Wang, Shaoying Liu, Shunde Chen

Get full text

Molecular phylogeny and taxonomy of the genus Eozapus (Mammalia, Rodentia, Zapodidae) with the description of a new species by Siyu Yang, Fei Xie, Chengxin Zhou, Zongyun Zhang, Xuming Wang, Shaoying Liu, Shunde Chen

Get full text

Two New Species of Ochotona (Mammalia, Lagomorpha) From Xizang, China by Xuan Pan, Xuming Wang, Robert W. Murphy, Buqing Peng, Zongyun Zhang, Rui Liao, Shunde Chen, Shaoying Liu

Get full text

Molecular phylogeny and taxonomy of the Sicista concolor group (Mammalia, Rodentia, Sicistidae) with the description of a new species by Yu Deng, Qing Liu, Xuming Wang, Binbin V. Li, Jing Wang, Shuang Liu, Rui Liao, Shaoying Liu, Shunde Chen

Get full text

Three new species of Neodon (Rodentia, Cricetidae) from Sichuan and Xizang, China by Xuming Wang, Xuan Pan, Yingxun Liu, Robert W. Murphy, Buqing Peng, Chao Duan, Rui Liao, Xin Wang, Shaoying Liu

Get full text