Myunghwan Park

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 2

Top Topics

Formal Verification

Number Of Test Cases

Top Venues

Microelectron. J.

Comput. Sci. Eng.

Publications

Jeonghyun Joo, Seunghoon Yoo, Myunghwan Park
Poster: Test Case Prioritization Using Error Propagation Probability. ICST (2020)
Myunghwan Park, John C. Rodgers, Daniel P. Lathrop
True random number generation using CMOS Boolean chaotic oscillator. Microelectron. J. 46 (12) (2015)
Seonmo Kim, Wonhong Nam, Hyunyoung Kil, Myunghwan Park
Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft. Comput. Sci. Eng. 16 (5) (2014)