( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Mulit-Event-One-Transition Plus Incremental Processing Protocol Verification Method.

, , и . J. Inf. Sci. Eng., 12 (2): 215-241 (1996)

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.

Ming-Chung Tay

Ming-Chiang Chung

Ming Long Huang

Chih-Ming Chung

Yu-chung Huang

 

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

A Channel Selection Method for Device to Device (D2D) Communication Using the Mobile Edge Computing (MEC) Paradigm., , и . WICON, том 264 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 173-182. Springer, (2018)A new approach to generate weighted fuzzy rules using genetic algorithms for estimating null values., и . Expert Syst. Appl., 35 (3): 905-917 (2008)Activity recognition for triggering cooperative networking among on-vehicle smart devices., , , и . ITST, стр. 80-84. IEEE, (2013)Group streaming service for the public transportation system over Fixed Mobile Convergence networks., , и . IWCMC, стр. 1187-1192. IEEE, (2013)Probabilistic fuzzy timed protocol verification., , и . Comput. Commun., 19 (5): 407-425 (1996)An Estelle-Based Incremental Protocol Design System., , , , и . J. Syst. Softw., 36 (2): 115-135 (1997)Distributed multimedia synchronization specifications using M2EST., , , и . Inf. Softw. Technol., 39 (8): 561-578 (1997)CTW: an integrated computer and telephone-accessed WWW system., , и . Softw. Pract. Exp., 30 (13): 1485-1507 (2000)The Social Internet of Thing (S-IOT)-Based Mobile Group Handoff Architecture and Schemes for Proximity Service., , , и . IEEE Trans. Emerg. Top. Comput., 5 (3): 425-437 (2017)Timed protocol verification for Estelle-specified protocols., и . Comput. Commun. Rev., 25 (3): 4-32 (1995)