지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 관련 연구
3. ATM에서의 시간 명세
4. 시간 명세 예제 및 분석
5. 결론 및 향후 연구
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
추상 시간 기계의 시간 명세
한국정보과학회 학술발표논문집
2000 .04
[기술해설]시간이 긴요한 실시간 시스템의 요구 명세 및 분석
정보과학회지
1995 .09
실시간 객체를 위한 명세 및 분석 방법
한국정보과학회 학술발표논문집
1995 .10
실시간 객체 지향 모델을 지원하기 위한 정형 명세
한국정보과학회 학술발표논문집
1999 .10
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
RTO.k와 RTL을 이용한 실시간 시스템(무인자동차 시스템)의 정형적 명세
한국정보과학회 학술발표논문집
1995 .04
STSR의 실시간 내장형 시스템 명세
한국정보과학회 학술발표논문집
2003 .04
네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
실시간 객체의 시간 명세 및 검증 기법
한국정보과학회 학술발표논문집
1998 .10
도시 교통관제 시스템의 정형 명세
한국정보과학회 학술발표논문집
1998 .04
우리들의시간
지반(한국지반공학회지)
2018 .01
우리들의시간
지반(한국지반공학회지)
2017 .09
우리들의 시간
지반(한국지반공학회지)
2018 .03
우리들의시간
지반(한국지반공학회지)
2017 .07
시간에 대하여
대한토목학회지
2001 .01
우리들의 시간
지반(한국지반공학회지)
2019 .01
멀티미디어 객체 프리젠테이션을 위한 시간적 명세 모델과 동기화 방안
한국정보과학회 학술발표논문집
1993 .10
대화형 멀티미디어 응용을 위한 시간적 명세에서의 수행전 오류 검출
한국정보과학회 학술발표논문집
1994 .10
실시간 시스템 분석을 위한 확률 명세 방법
한국정보과학회 학술발표논문집
2002 .04
실시간 모델 체커를 이용한 월성 SDS2의 명세 및 검증
한국정보과학회 학술발표논문집
2000 .10
0