( en | de | ru )

 

Disambiguation of "Kang, M."

Author of the publication

copydeleteadd this publication to your clipboard
JMOCHA: A Model Checking Tool that Exploits Design Structure.

, , , , , , , , and . ICSE, page 835-836. IEEE Computer Society, (2001)

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.

Mihyun Kang

Ewha Kang

Kang Teng

Mujin Kang

Andree Kang

 

Other publications of authors with the same name

A practical iterative PID tuning method for mechanical systems using parameter chart., , , , and . Int. J. Systems Science, 48 (13): 2887-2900 (2017)An Essentially Non-oscillatory Crank-Nicolson Procedure for the Simulation of Convection-Dominated Flows., , and . J. Sci. Comput., 71 (2): 875-895 (2017)Factors of learner-instructor interaction which predict perceived learning outcomes in online learning environment., and . J. Comput. Assist. Learn., 29 (3): 292-301 (2013)Spatial Data Mining., , , and . Encyclopedia of Database Systems (2nd ed.), Springer, (2018)Common fixed points of compatible maps of type (β) on fuzzy metric spaces., , , and . Fuzzy Sets Syst., 93 (1): 99-111 (1998)Strategies of inclusion: Addressee(s) in triadic exchanges. Text - Interdisciplinary Journal for the Study of Discourse, 18 (3): 383--416 (Jan 1, 1998)Multidisciplinary aircraft design and evaluation software integrating CAD, analysis, database, and optimization., , , , , and . Adv. Eng. Softw., 37 (5): 312-326 (2006)Voronoi Diagram.. Encyclopedia of GIS, Springer, (2008)Space-Filling Curves.. Encyclopedia of GIS, Springer, (2017)sFlow monitoring system in a disaster-resilient global SDN testbed based on KOREN/APII/TEIN network., , , and . Int. J. Comput. Aided Eng. Technol., 10 (4): 404-417 (2018)