( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Industrial-Strength Model-Based Testing of Safety-Critical Systems.

, и . FM, том 9995 из Lecture Notes in Computer Science, стр. 3-22. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Wen-ling Huang

Wen-ling Wu

Wen-Ling Chiu

Wen-Ling Lin

Hui-Ling Huang

 

Другие публикации лиц с тем же именем

An Optimised Complete Strategy for Testing Symbolic Finite State Machines., , и . FSEN, том 14155 из Lecture Notes in Computer Science, стр. 55-71. Springer, (2023)A Mechanised Proof of an Adaptive State Counting Algorithm., , , и . ICTSS, том 11812 из Lecture Notes in Computer Science, стр. 176-193. Springer, (2019)Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges., , и . ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 82-103. Springer, (2018)Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor., , , , , , и . ICFEM, том 8829 из Lecture Notes in Computer Science, стр. 380-395. Springer, (2014)Model-based testing strategies and their (in)dependence on syntactic model representations., и . Int. J. Softw. Tools Technol. Transf., 20 (4): 441-465 (2018)Exhaustive property oriented model-based testing with symbolic finite state machines., , и . Sci. Comput. Program., (января 2024)Conformance Relations Between Input/Output Languages., и . Applicable Formal Methods for Safe Industrial Products, том 14165 из Lecture Notes in Computer Science, стр. 49-67. Springer, (2023)Exhaustive Model-Based Equivalence Class Testing., и . ICTSS, том 8254 из Lecture Notes in Computer Science, стр. 49-64. Springer, (2013)A Stochastic Approach to Classification Error Estimates in Convolutional Neural Networks., , , и . CoRR, (2024)Safety-complete test suites., , и . Softw. Qual. J., 27 (2): 589-613 (2019)