1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…