( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Detecting Concurrency Errors in Client-Side Java Script Web Applications.

, , и . ICST, стр. 61-70. IEEE Computer Society, (2014)

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.

Ky ng Kim

Die Artikelstruktur in passiven zweisprachigen Wörterbüchern Deutsch-Koreanisch: Konzeption zur Erstellung eines zweisprachigen Lernerwörterbuchs Deutsch-Koreanisch. Uni Heidelberg, (2008)

Bongcheol Kim

Kim Gerber

Youngsang Kim

Ryong Kim

 

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

Validating Software Reliability Early through Statistical Model Checking., , , , и . IEEE Software, 30 (3): 35-41 (2013)Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances.. ATVA, том 4762 из Lecture Notes in Computer Science, стр. 489-500. Springer, (2007)Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study., и . IEEE Trans. Syst. Man Cybern. Part A, 37 (3): 285-297 (2007)Directed Model Checking for Fast Abstract Reachability Analysis., , , , и . IEEE Access, (2021)POWER: Program Option-Aware Fuzzer for High Bug Detection Ability., , , и . ICST, стр. 220-231. IEEE, (2022)Testing concurrent programs to achieve high synchronization coverage., , , , и . ISSTA, стр. 210-220. ACM, (2012)Detecting Concurrency Errors in Client-Side Java Script Web Applications., , и . ICST, стр. 61-70. IEEE Computer Society, (2014)3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ., , , , , , и . ICRA, стр. 2903-2908. IEEE, (2005)Automated unit testing of large industrial embedded software using concolic testing., , , , , и . ASE, стр. 519-528. IEEE, (2013)Automated Analysis of Industrial Embedded Software., и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 51-59. Springer, (2011)