Zobrazeno 1 - 10
of 222
pro vyhledávání: '"He, Nannan"'
Autor:
He, Nannan
Conventional testing has become inadequate to satisfy rigorous reliability requirements of embedded software that is playing an increasingly important role in many safety critical applications. Automatic formal verification is a viable avenue for ens
Externí odkaz:
http://hdl.handle.net/10919/27683
http://scholar.lib.vt.edu/theses/available/etd-05122009-103206/
http://scholar.lib.vt.edu/theses/available/etd-05122009-103206/
Autor:
Xiao, Zhenyu, Cui, Lina, Yuan, Yang, He, Nannan, Xie, Xinwei, Lin, Sirui, Yang, Xiaolong, Zhang, Xin, Shi, Peifu, Wei, Zhifeng, Li, Yang, Wang, Hongmei, Wang, Xiaoyan, Wei, Yulei, Guo, Jingtao, Yu, Leqian
Publikováno v:
In Cell 23 May 2024 187(11):2855-2874
Autor:
Li, Yue, He, Nannan, Chen, Xiaohong, Fang, Bo, Liu, Xinjuan, Li, Haibo, Gong, Zhiwei, Lu, Ting, Pan, Likun
Publikováno v:
In Journal of Colloid And Interface Science 15 February 2024 656:289-296
Publikováno v:
In Transportation Research Part D December 2023 125
Autor:
Zhu, Mengmeng, Zhang, Shulan, Liu, Yunpeng, Chen, Renjie, Long, Biyu, He, Nannan, Ren, Jun, Huang, Sumei, Chen, Xiaohong, Li, Huili
Publikováno v:
In Optical Materials October 2023 144
Publikováno v:
In Gynecologic Oncology July 2023 174:55-67
Autor:
Luo, Haopeng, Jiang, Tingjin, Zhan, Chuanxiang, He, Nannan, Tan, Ling, Jiang, Fang, Chen, Huan
Publikováno v:
In Environmental Research 1 July 2023 228
Publikováno v:
In Journal of Colloid And Interface Science 15 June 2023 640:820-828
Publikováno v:
In Electrochimica Acta 20 April 2023 448
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.