1 citations · 1 across the 4 of their papers we have counts for
4 papers
Towards Approximate Model Checking DC and PDC Specifications
Changil Choe, Dang Van Hung, Song Han
DC has proved to be a promising tool for the specification and verification of functional requirements on the design of hard real-time systems. Many works were devoted to develop e…
Formal Design and Verification of N-M Switching Control System
Changil Choe, Hyejong Hong, Kukhwan Kim
Production factories in which stable voltage is critical, e.g., electro-plating factory, require constantly stable voltage to minimize loss by adjusting incoming voltage in real ti…
SDMS-based Disk Encryption Method
Dokjun An, Myongchol Ri, Changil Choe +2
We propose a disk encryption method, called secure disk mixed system (SDMS) in this paper, for data protection of disk storages such as USB flash memory, USB hard disk and CD/DVD.…
A Method for Selecting Noun Sense using Co-occurrence Relation in English-Korean Translation
Hyonil Kim, Changil Choe
The sense analysis is still critical problem in machine translation system, especially such as English-Korean translation which the syntactical different between source and target…