http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
류광열(Kwang-Yeul Ryu),최진영(Jin-Young Choi) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.1A
본 논문에서는 Change과 Robert가 발표한 분산환경에서의 리더 선출 알고리즘을 비동기 프로세스 모델링 언어인 PROMELA로 명세하였으며 체커(Model Checker)인 SPIN을 이용하여 선형 시제 논리에 입각한 요구사항을 만족하는지 검증하였다.