( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling, Validation, and Verification of PCEP Using the IF Language.

, , , и . FMOODS/FORTE, том 5522 из Lecture Notes in Computer Science, стр. 122-136. Springer, (2009)

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.

Hak Hwang

Sungil Hwang

Byung Kook Hwang

Kyung-Yub Hwang

Giin-Tarng Hwang

 

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

Handover-Specific Optimization for IEEE 802.16e Sleep Mode., , и . MMM (2), том 4352 из Lecture Notes in Computer Science, стр. 560-567. Springer, (2007)Interoperability testing of presence service on IMS platform., , , и . TRIDENTCOM, стр. 1-6. IEEE Computer Society, (2009)Secure and Seamless Handoff Scheme for a Wireless LAN System., , и . OTM Workshops (1), том 4277 из Lecture Notes in Computer Science, стр. 595-604. Springer, (2006)Automatic Timed Test Case Generation for Web Services Composition., , , и . ECOWS, стр. 53-62. IEEE Computer Society, (2008)Measurement and stochastic modeling of handover delay and interruption time of smartphone real-time applications on LTE networks., , , , , и . IEEE Communications Magazine, 53 (3): 173-181 (2015)Modeling, Validation, and Verification of PCEP Using the IF Language., , , и . FMOODS/FORTE, том 5522 из Lecture Notes in Computer Science, стр. 122-136. Springer, (2009)A Statistical Approach to Test Stochastic and Probabilistic Systems., , , и . ICFEM, том 5885 из Lecture Notes in Computer Science, стр. 186-205. Springer, (2009)Performance anomaly of neighbor discovery in Bluetooth Low Energy., , , , и . ICCE, стр. 341-342. IEEE, (2016)Testing a probabilistic FSM using interval estimation., и . Comput. Networks, 54 (7): 1108-1125 (2010)Applying formal methods to PCEP: an industrial case study from modeling to test generation., , , и . Softw. Test. Verification Reliab., 22 (5): 343-361 (2012)