1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2012
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…
cs.LO2012
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…
cs.CR2012★ 1 cited
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.…