( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fortis: A Tool for Analysis and Repair of Robust Software Systems.

, , , , и . FMCAD, стр. 1-9. IEEE, (2023)

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.

Mihyun Kang

Ewha Kang

Mujin Kang

Kang Teng

Jinyu Kang

 

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

A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility., , , , и . MSWiM, стр. 225-234. ACM, (2019)Explanations for human-on-the-loop: a probabilistic model checking approach., , , и . SEAMS@ICSE, стр. 181-187. ACM, (2020)On tolerance of discrete systems with respect to transition perturbations., , , и . Discret. Event Dyn. Syst., 33 (4): 395-424 (декабря 2023)Alloy*: a general-purpose higher-order relational constraint solver., , , и . Formal Methods Syst. Des., 55 (1): 1-32 (2019)Reliable Smart Road Signs., , , , и . IEEE Trans. Intell. Transp. Syst., 21 (12): 4995-5009 (2020)Modeling and Analysis of Explanation for Secure Industrial Control Systems., , , и . ACM Trans. Auton. Adapt. Syst., 17 (3-4): 1-26 (декабря 2022)System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints., , , , , , , , , и . ACM Trans. Cyber Phys. Syst., 7 (3): 21:1-21:28 (июля 2023)Preference Adaptation: user satisfaction is all you need!, , , , и . SEAMS, стр. 133-144. IEEE, (2023)Separation of concerns for dependable software design., и . FoSER, стр. 173-176. ACM, (2010)Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design., , , и . DATE, стр. 246-251. IEEE, (2019)