( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Designing minimal effective normative systems with the help of lightweight formal methods.

, , , и . SIGSOFT FSE, стр. 50-60. ACM, (2016)

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.

Ewha Kang

Mihyun 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)Separation of concerns for dependable software design., и . FoSER, стр. 173-176. ACM, (2010)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)Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design., , , и . DATE, стр. 246-251. IEEE, (2019)Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems., , , , , , , и . CoRR, (2024)Quotient for Assume-Guarantee Contracts., , , и . MEMOCODE, стр. 67-77. IEEE, (2018)Feature Interactions on Steroids: On the Composition of ML Models., , и . CoRR, (2021)