지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
등록된 정보가 없습니다.
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Esterel 문법구조 바탕의 오토마타 생성
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2010 .11
Esterel에서 근사-제어흐름그래프의 효율적인 생성
한국정보과학회 학술발표논문집
2009 .06
외부환경을 고려한 ESTEREL 프로그램 검증
한국정보과학회 학술발표논문집
2007 .10
Esterel에서 근사-제어흐름그래프의 효율적인 생성
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2009 .11
Esterel 기반 임베디드 소프트웨어의 신뢰성 향상을 위한 개발 기법
한국정보과학회 학술발표논문집
2005 .07
통신 프로토콜 검증을 위한 Esterel 정형검증 연구
한국정보과학회 학술발표논문집
2002 .04
Esterel에서 동기장치 중복사용 문제 검출시 과잉 경보 줄이기
정보과학회논문지 : 소프트웨어 및 응용
2010 .08
ESTEREL을 이용한 Cache Coherency Protocol의 정형 설계 및 검증
한국정보과학회 학술발표논문집
2002 .04
제어 및 데이터 신호에 의한 Esterel에서의 새로운 회로 중복사용 문제
정보과학회논문지 : 소프트웨어 및 응용
2010 .04
Esterel을 이용한 마이크로커널 시스템 정형 검증
한국정보기술학회논문지
2008 .06
한글 오토마타 개발에 관한 연구
대한전기학회 학술대회 논문집
1989 .11
ESTEREL을 이용한 MESI프로토콜의 정형 설계 및 검증
한국정보과학회 학술발표논문집
2001 .10
에스테렐 프로그램 디버깅을 위한 테스트 데이터 자동 생성
정보과학회논문지 : 소프트웨어 및 응용
2009 .10
유한 오토마타의 병렬 시뮬레이션을 향하여
한국정보과학회 학술발표논문집
2015 .06
타임드 오토마타 모델 기반 코드 자동 생성 기술 현황 및 분석
정보과학회지
2014 .04
셀룰라 오토마타에 기 반한 신경망
한국지능시스템학회 학술발표 논문집
1998 .06
셀룰라 오토마타 신경망의 특성
한국지능시스템학회 학술발표 논문집
1998 .11
오토마타 생성 시간 단축을 위한 분산 명세 합성
한국정보과학회 학술발표논문집
2014 .06
이차원 셀룰라 오토마타에 기반하는 해쉬 함수
멀티미디어학회논문지
2005 .05
반응형 시스템의 시뮬레이션을 위한 환경 속성의 명세
정보과학회논문지 : 소프트웨어 및 응용
2012 .07
0