( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analysis and design of data transmission protocol for 1024-channel retinal prosthesis.

, , , и . EMBC, стр. 4010-4013. IEEE, (2011)

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-Hsien Wong

Ming-Cheng Tsai

Tun-ming Tsai

Ming-tang Tsai

Ming-Jer Tsai

 

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

Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking., , , , , и . IACR Cryptol. ePrint Arch., (2023)CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver., , , , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 149-171. Springer, (2021)Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs., , и . CCS, стр. 1973-1987. ACM, (2017)Synthesize Models for Quantitative Analysis Using Automata Learning., , , , , и . NETYS, том 11704 из Lecture Notes in Computer Science, стр. 75-92. Springer, (2019)GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic., , , , и . TACAS, том 4963 из Lecture Notes in Computer Science, стр. 346-350. Springer, (2008)A 64-channel neuron recording system., , , , и . EMBC, стр. 2862-2865. IEEE, (2011)Certified Verification for Algebraic Abstraction., , , , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 329-349. Springer, (2023)A New Approach for Serving Radio Network Controller Relocation in UMTS All-IP Network., , , и . INFOCOM, IEEE, (2004)GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae., , , , и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 466-471. Springer, (2007)Analysis and design of data transmission protocol for 1024-channel retinal prosthesis., , , и . EMBC, стр. 4010-4013. IEEE, (2011)