Holzmann의 ˝The Model Checker SPIN˝에 대하여

최진영 ,  방기석 ,  유혁 외 1명

정보과학회논문지(B)

1998 .11

SPIN 과 ACSR - VP 를 이용한 Process Scheduling 모델링

방기석 ,  허윤정 ,  최진영 외 1명

한국정보과학회 학술발표논문집

1998 .10

Study for Prediction the Door Checker Effort by using 2D-Contact

Xiaokang Zang ,  Daesung Bae ,  Ki 외 1명

한국소음진동공학회 학술대회논문집

2016 .04

하이브리드 도어 체커 개폐력 해석

강성종 ,  김동환

한국자동차공학회논문집

2012 .05

토션 바 스프링을 적용한 일체형 도어체커 개폐력 해석

윤상민 ,  강성종

한국기계가공학회지

2012 .06

자동차 도어 개폐력 시뮬레이션 및 시험 비교에 관한 연구

소범식 ,  김중희 ,  이상호

한국기계가공학회 춘추계학술대회 논문집

2019 .10

SPIN을 이용한 리더 선출 알고리즘의 검증

류광열 ,  최진영

한국정보과학회 학술발표논문집

1999 .04

프로세스 알제브라를 이용한 하드웨어 논리 회로의 검증

전준규 ,  최진영 ,  변석우

한국정보과학회 학술발표논문집

1998 .04

IP 설계 환경을 위한 VHDL Code Coverage Checker

김영수 ,  류광기 ,  배영환 외 1명

대한전자공학회 학술대회

2001 .06

"MODEL SPELL CHECKER" FOR PRIMITIVE-BASED AS-BUILT MODELING IN CONSTRUCTION

권순욱 ,  프레데릭 보쉐 ,  허영기

한국건설관리학회논문집

2004 .01

소형항공기 KC-100 개발의 안전한 Spin 비행시험 방안연구

김대욱 ,  김찬조 ,  남기은 외 1명

한국항공우주학회 학술발표회 초록집

2012 .11

Break Spinning에 관하여

유운영 ,  서용부

한국섬유공학회지

1968 .01

전체 문장 분석에 기반한 한국어 문법 검사기

이공주 ,  황선영 ,  김지은

정보과학회논문지 : 소프트웨어 및 응용

2003 .10

A Theoretical Study on the Profile of Door Checker Arm & Door Operating Force for Spring Roller & Hybrid Type

Kyoungtaek Kwak ,  Sunmin Kim ,  Kukhyun Cho

한국자동차공학회 추계학술대회 및 전시회

2009 .11

Direction Vector를 이용한 Dependence Checker의 설계 및 구현에 관한 연구

박상현 ,  이병관 ,  이경환

한국정보과학회 학술발표논문집

1988 .04

Door checker 작동력 해석 프로그램 개발 : CATIA V5 탑재

김수복

한국자동차공학회 추계학술대회 및 전시회

2010 .11

LOGIC-CHECKER : A CORRECTING FUNCTION FOR GATE ERRORS IN LOGIC SIMULATION AND ITS IMPLEMENTATION

Satoshi Wakabayashi ,  Hi ,  oyuki Ishikawa 외 1명

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1989 .01

위성의 Dual-Spin Turn 방법 분석 및 자세획득

서현호 ,  이승우

한국항공우주학회지

2006 .02

Spun 광섬유를 이용한 전류 측정에 관한 연구 ( A Study on the Current Measurement Using Spun Fiber )

권원현 ,  전석희 ,  김영수 외 2명

전자공학회논문지

1988 .10