Esterel을 이용한 마이크로커널 시스템 정형 검증

이수영 ,  방기석 ,  고영웅

한국정보기술학회논문지

2008 .06

SyncCharts 를 이용한 실시간 시스템의 정형 명세와 검증

김성재 ,  최진영

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

2002 .10

객체지향 기법에 기초한 마이크로커널의 설계 ( Design of Microkernel based on Object-oriented Method )

정철호 ,  박찬모 ,  이준

한국통신학회 학술대회논문집

1995 .01

객체 지향 기법에 기초한 마이크로 커널의 설계 및 구현

유광현 ,  김철민 ,  박민규 외 1명

(구)정보과학회논문지

1993 .10

마이크로커널에 적용된 프로세스 간 통신 성능 향상 기법 분석

송대영 ,  박시형 ,  권미영 외 3명

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

2018 .12

L4 마이크로커널 기반 모바일 미들웨어의 설계

이상민 ,  신동렬

대한전자공학회 학술대회

2008 .06

마이크로커널 구조가 캐시 메모리의 성능에 미치는 영향

장문석 ,  고건

정보과학회논문지 : 시스템 및 이론

2000 .01

마이크로커널 기반 운영체제를 위한 성능 측정 도구의 설계와 구현

장문석 ,  고건 ,  이준원 외 1명

정보과학회논문지(C)

1999 .04

가상화 응용을 위한 L4 마이크로커널 플랫폼

강창호 ,  조상영

정보 및 제어 논문집

2009 .05

SPIN을 이용한 차량용 MOST Network Service 프로토콜 스택 정형검증

이동아 ,  윤상현 ,  이무열 외 2명

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

2010 .06

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

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

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

2012 .11

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

서현호 ,  이승우

한국항공우주학회지

2006 .02

마이크로커널의 스택 기반 버퍼오버플로우 취약점 탐지 기법 제안

신동순 ,  김형식

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

2018 .12

Microkernel 을 이용한 DTV-Ready 용 Object-based Embedded System Software 의 구현

이종인 ,  경보현 ,  고순덕 외 1명

한국통신학회 학술대회논문집

2002 .11

Break Spinning에 관하여

유운영 ,  서용부

한국섬유공학회지

1968 .01

반응형 시스템 개발을 위한 Correctness by Construction 개선

신지훈 ,  최진영

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

2012 .06

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

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

전자공학회논문지

1988 .10

Spun 광 섬유를 이용한 온도 센서에 관한 연구 ( A Study on the Temperature Measurement Using Spun Optical Fiber )

박익서 ,  현용호 ,  권원현 외 1명

대한전자공학회 학술대회

1989 .11

SPIN++를 이용한 병렬 객체 모델의 검증

조웅희 ,  배두환 ,  차성덕 외 3명

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

1998 .10