Zobrazeno 1 - 10
of 125
pro vyhledávání: '"Wen Ling Huang"'
Autor:
Yan Ru Gao, Wen Ling Huang, Chun Lian Tang, Rong Liu, Qin Ping Zhao, Zhen Ping Ming, Hui Fen Dong
Publikováno v:
Parasites & Vectors, Vol 11, Iss 1, Pp 1-11 (2018)
Abstract Background Schistosomiasis caused by Schistosoma japonicum is among the most serious endemic zoonoses in China. To study interactions between schistosomula, the pre-adult juvenile stage, and hosts, it is important to study the functions of k
Externí odkaz:
https://doaj.org/article/ec18704a1a7e4d08942081b78d96bcda
Autor:
Wen Ling Huang, 黃玟菱
99
Objective Patients with stroke usually have two problems, one is motor impairment, and the other is sensory impairment, which would affect their daily functions. Recently, many studies found that mirror therapy would improve motor function an
Objective Patients with stroke usually have two problems, one is motor impairment, and the other is sensory impairment, which would affect their daily functions. Recently, many studies found that mirror therapy would improve motor function an
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/97276805406097771246
Autor:
Wen Ling Huang, 黃文伶
93
IMC (Integrated Marketing Communications) is a strong wind in which many industries must experience nowadays and much more in the future. Currently, IMC has been widely utilized by numerous industries and created a trend in the international
IMC (Integrated Marketing Communications) is a strong wind in which many industries must experience nowadays and much more in the future. Currently, IMC has been widely utilized by numerous industries and created a trend in the international
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/6a4s62
Autor:
Wen Ling Huang, 黃文伶
93
IMC (Integrated Marketing Communications) is a strong wind in which many industries must experience nowadays and much more in the future. Currently, IMC has been widely utilized by numerous industries and created a trend in the international
IMC (Integrated Marketing Communications) is a strong wind in which many industries must experience nowadays and much more in the future. Currently, IMC has been widely utilized by numerous industries and created a trend in the international
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/40531540097865897472
Publikováno v:
Science of Computer Programming. 179:1-23
In this paper, new contributions for model-based testing using Communicating Sequential Processes (CSP) are presented. For a finite non-terminating CSP process representing the reference model, finite test suites for checking the conformance relation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::97ad6d30878d195428ae5e888ac9cd54
https://doi.org/10.1016/j.scico.2019.04.004
https://doi.org/10.1016/j.scico.2019.04.004
Publikováno v:
FMAS
Eder, K I, Huang, W & Peleska, J 2021, ' Complete Agent-driven Model-based System Testing for Autonomous Systems ', Paper presented at Formal Methods for Autonomous Systems, 21/10/21-22/10/21 . https://doi.org/10.4204/EPTCS.348.4
Eder, K I, Huang, W & Peleska, J 2021, ' Complete Agent-driven Model-based System Testing for Autonomous Systems ', Paper presented at Formal Methods for Autonomous Systems, 21/10/21-22/10/21 . https://doi.org/10.4204/EPTCS.348.4
In this position paper, a novel approach to testing complex autonomous transportation systems (ATS) in the automotive, avionic, and railway domains is described. It is intended to mitigate some of the most critical problems regarding verification and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1b91943dd4604af4f4e76075a8a0f7e
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with
Publikováno v:
Software Quality Journal. 27:589-613
In this paper, a novel safety-related variant of complete test suites for finite state machines is introduced. Under certain hypotheses which are similar to the ones used in the well-known W-Method and its improved versions, the new method guarantees
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7bab75bbc4edc1f2093659d038605b7b
https://doi.org/10.1007/s11219-018-9421-y
https://doi.org/10.1007/s11219-018-9421-y
Autor:
Wen-ling Huang, Jan Peleska
Publikováno v:
International Journal on Software Tools for Technology Transfer. 20:441-465
Model-based testing in its most advanced form allows for automated test case identification, test data calculation, and test procedure generation from reference models describing the expected behaviour of the system under test. If the underlying algo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::618c6d8230293cc76fd13bd5b446bed2
https://doi.org/10.1007/s10009-017-0479-9
https://doi.org/10.1007/s10009-017-0479-9