Process Algebra를 이용한 Lamport의 Byzantine Agreement의 명세 및 부분 검증에 대하여

박찬국 ,  최진영

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

1998 .10

분산 시스템에서 Pre-election 알고리즘 ( Pre-election Algorithm in the Distributed Computing System )

김태우 ,  김태윤

한국통신학회논문지

1995 .11

모바일 애드 혹 분산 시스템에서 선출 알고리즘의 명세 및 설계

박성훈

디지털콘텐츠학회논문지

2010 .12

Design and Analysis of Leader Election Algorithm in Wireless Network based on Fixed Stations

박성훈

한국산학기술학회 논문지

2014 .07

정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계

신재승 ,  이금석

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

1992 .10

CSP/FDR을 이용한 리더 선출 알고리즘의 검증

전철욱 ,  김일곤 ,  안영아 외 2명

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

2004 .04

다중 공유 자원을 위한 프로세스 대수

유희준 ,  이기흔 ,  최진영

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

2000 .03

공간 프로세스 대수에서 시간 속성의 명세와 분석을 위한 정형기법

온진호 ,  우수정 ,  최정란 외 1명

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

2007 .11

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

전준규 ,  최진영 ,  변석우

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

1998 .04

ACSR - VP를 이용한 Priority Ceiling Protocol의 명세와 검증

임성묵 ,  최진영

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

1997 .10

ACSR-VP를 이용한 실시간 시스템의 스케줄링 기법에 대한 정형 명세와 검증

최진영 ,  임성묵

정보과학회논문지(A)

1998 .06

Estimation of Smart Election System data

Pa ,  k ,  Hyun-Sook 외 2명

International journal of advanced smart convergence

2018 .01

Derivation Algorithm of State-Space Equation for Production Systems Based on Max-Plus Algebra

Hi ,  oyuki Goto ,  Shi 외 1명

Industrial Engineering & Management Systems

2004 .06

효과적인 선거정보디자인을 위한 3사 방송사 선거개표방송그래픽 분석

한기은 ,  송상민 ,  이정연

대한인간공학회 학술대회논문집

2008 .10

Efficient Evaluation of Path Algebra Expressions

Tae-kyong Lee

한국산업정보학회논문지

2000 .03

A Practical and Secure Electronic Election System

Yunho Lee ,  Dongho Won

[ETRI] ETRI Journal

2012 .02

VDM 모듈에서 자료흐름도로의 명세변환

최연우 ,  박용수 ,  위금숙 외 2명

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

1993 .10

비동기 분산 시스템에서의 실시간 리더 선출 알고리즘

장은미 ,  윤진원 ,  윤완오 외 2명

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

2011 .12

The Design of an Election Protocol based on Mobile Ad-hoc Network Environment

Sung-Hoon Pa ,  k ,  Yeong-Mok Kim 외 1명

한국컴퓨터정보학회논문지

2016 .08

네트워크 시스템 명세를 위한 Z 기반 프레임워크

신지훈 ,  최진영

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

2011 .06