Showing results 1 to 2 of 2
ConverGenT: Automated Topology Generation and Analysis of Hybrid DC-DC Converters Nguyen, Huan; Jung, Wanyeong, IEEE TRANSACTIONS ON POWER ELECTRONICS, v.38, no.9, pp.11193 - 11220, 2023-09 |
Synthesis and verification of state machine description using automatic test vector generation = 테스트 벡터 자동 생성을 이용한 스테이트 머신 기술의 합성 및 검증link Ahn, Ki-Yong; 안기용; et al, 한국과학기술원, 2002 |
Discover