Changil Choe

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Consistency Checking

Top Venues

Publications

Changil Choe, Univan Ahn, Song Han
Checking Integral Real-Time Automata for Extended Linear Duration Invariants. FTSCS (2014)
Changil Choe, Hyejong Hong, Kukhwan Kim
Formal Design and Verification of N-M Switching Control System CoRR (2012)
Changil Choe, Dang Van Hung, Song Han
Towards Approximate Model Checking DC and PDC Specifications CoRR (2012)
Dokjun An, Myongchol Ri, Changil Choe, Sunam Han, Yongmin Kim
SDMS-based Disk Encryption Method CoRR (2012)