Zobrazeno 21 - 30
of 127
pro vyhledávání: '"Xi, Hongwei"'
Autor:
Ren, Zhiqiang, Xi, Hongwei
Formal specification is widely employed in the construction of high-quality software. However, there is often a huge gap between formal specification and actual implementation. While there is already a vast body of work on software testing and verifi
Externí odkaz:
http://arxiv.org/abs/1203.6102
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.
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.
Autor:
Li, Jie, Long, Jiangtao, Zhao, Zheng, Wang, Qianqian, Bo, Wang, Ren, Liang, Fan, Yan, Wang, Peng, Cheng, Yi, Liu, Binbin, Cheng, Xinkui, Xi, Hongwei
Publikováno v:
International Journal of Nanomedicine; Nov2023, Vol. 18, p6585-6599, 15p
Autor:
Du, Bin, Han, Shuping, Zhao, Feifei, Lim, Kok Hwa, Xi, Hongwei, Su, Xiangjie, Yao, Hanchun, Zhou, Jie
Publikováno v:
In Nanomedicine: Nanotechnology, Biology, and Medicine October 2016 12(7):2071-2080
Autor:
Barker, Brandon E., Sadagopan, Narayanan, Wang, Yiping, Smallbone, Kieran, Myers, Christopher R., Xi, Hongwei, Locasale, Jason W., Gu, Zhenglong
Publikováno v:
In Computational Biology and Chemistry December 2015 59 Part B:98-112
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.
Publikováno v:
Computational Intelligence & Neuroscience. 5/2/2019, p1-19. 19p.
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.
Autor:
Donnelly, Kevin, Xi, Hongwei
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2 June 2007 174(5):109-125