( en | de | ru )

 

Disambiguation of "Kang, Inhye"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems.

, , , , and . J. Univers. Comput. Sci., 20 (14): 1903-1925 (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. You can also use the button next to the name to display some publications already assigned to the person.

Ewha Kang

Mihyun Kang

Kang Teng

Mujin Kang

Namhi Kang

 

Other publications of authors with the same name

Measurement-based multi-call voice frame grouping in Internet telephony., , and . IEEE Communications Letters, 6 (5): 199-201 (2002)Geographic scheduling of directional transmission for periodic safety messages in IEEE WAVE., , , , , and . Comput. Commun., (2016)Generating composite behavior of embedded software components based on UML behavioral model and process algebra., , , and . ACM SIGSOFT Softw. Eng. Notes, 36 (1): 1-9 (2011)Equivalence Checking of Two Statechart Specifications., , , and . IEEE International Workshop on Rapid System Prototyping, page 46-51. IEEE Computer Society, (2000)On the Cross-Layer Impact of TCP ACK Thinning on IEEE 802.11 Wireless MAC Dynamics., , , and . VTC Fall, page 1-6. IEEE, (2006)Preventing Session Table Explosion in Packet Inspection Computers., , , and . IEEE Trans. Computers, 54 (2): 238-240 (2005)Real-time visualization of network attacks on high-speed links., , and . IEEE Netw., 18 (5): 30-39 (2004)Taming Large Classifiers with Rule Reference Locality., , , , and . ICOIN, volume 2662 of Lecture Notes in Computer Science, page 928-937. Springer, (2003)Reducing TCP response time in face of wireless uplink losses., , and . VTC Fall, page 262-266. IEEE, (2001)An Efficient State Space Generation for Analysis of Real-Time Systems., and . ISSTA, page 4-13. ACM, (1996)