Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Lu, Yueping"'
Autor:
Lu, Yueping.
The use of formal methods allows automated generation and optimization of test sequences. Developing formal methods for generating communications protocol conformance tests has drawn considerable attention in recent years. This thesis describes the i
Externí odkaz:
http://hdl.handle.net/10393/5824
Publikováno v:
Differential Integral Equations 24, no. 11/12 (2011), 1063-1071
ResearcherID
ResearcherID
In this paper we study the application of a general integral called a distributional Henstock-Kurzweil integral which includes the Henstock-Kurzweil integral and the wide Denjoy integral. We prove the existence of solutions of the wave equation invol
Autor:
Lu, Yueping.
The use of formal methods allows automated generation and optimization of test sequences. Developing formal methods for generating communications protocol conformance tests has drawn considerable attention in recent years. This thesis describes the i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b6f626e098e67dadf20deb126b2edd8
Autor:
Wang, Wenjun, Wang, Hui, Sun, Hui, Yu, Xiang, Zhao, Jia, Wang, Yun, Zhang, Yunhui, Zheng, Jinyong, Lu, Yueping, Chen, Qianya, Han, Chuanbo, Xie, Haoping
Publikováno v:
Cloud Computing & Security: Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part II; 2016, p522-531, 10p
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:
Pei H; State Key Laboratory of Microbial Resources, Institute of Microbiology, Chinese Academy of Sciences, Beijing 100080, P.R. China., Liu J, Cheng Y, Sun C, Wang C, Lu Y, Ding J, Zhou J, Xiang H
Publikováno v:
Applied microbiology and biotechnology [Appl Microbiol Biotechnol] 2005 Aug; Vol. 68 (2), pp. 220-7. Date of Electronic Publication: 2005 Jan 20.