Towards Hazard Analysis Result Verification for Autonomous Ships: A Formal Verification Method Based on Timed Automata by Xiang-Yu Zhou, Shiqi Jin, Yang Mei, Xu Sun, Xue Yang, Shengzheng Nie, Wenjun Zhang

Get full text

Proteome profiling of early gestational plasma reveals novel biomarkers of congenital heart disease by Ya‐Nan Yin, Li Cao, Jie Wang, Yu‐Ling Chen, Hai‐Ou Yang, Su‐Bei Tan, Ke Cai, Zhe‐Qi Chen, Jie Xiang, Yuan‐Xin Yang, Hao‐Ran Geng, Ze‐Yu Zhou, An‐Na Shen, Xiang‐Yu Zhou, Yan Shi, Rui Zhao, Kun Sun, Chen Ding, Jian‐Yuan Zhao

Get full text