Moon Soo Kim

Orcid: 0009-0007-8761-6201

According to our database¹, Moon Soo Kim authored at least 4 papers between 2002 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains.

[DOI]

Proceedings of the International Conference on Embedded Software, 2025

2020

Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure.

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

2004

The evolving patterns of inter-industrial knowledge structure: Case of Korean manufacturing in the 1980s.

[DOI]

Scientometrics, 2004

2002

E-Business Concept and Industrial Structure Approach: An Example of TELCO'S E-Business Strategy.

Proceedings of the Collaborative Business Ecosystems and Virtual Enterprises, 2002