지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2012한국컴퓨터종합학술대회 논문집 제39권 제1호(A)
- 발행연도
- 2012.6
- 수록면
- 110 - 112 (3page)
이용수
초록· 키워드
오류제보하기
정형기법은 소프트웨어 및 하드웨어 시스템의 요구사항을 모순, 모호함 없이 정확하게 명세하고 검증할 수 잇는 방법으로, 안전성이 중요한 소프트웨어에 많이 적용되어 반드시 보장되어야 할 속성을 소프트웨어가 만족하는지 확인하는데 사용되고 있다. 본 논문은 정형기법 커뮤니티에서 선정한 여러 도 ... 전체 초록 보기
목차
요약
1. 서론
2. 관련연구
3. AAI 모드의 시간 제액사항 모델링 및 검증
4. 결론 및 향후 연구
5. 참고문헌
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
심장박동기 전임상실험을 위한 초저전력 무선 전송 시스템개발
박현문
,
황태호
,
이태희
외 1명
대한전자공학회 학술대회
2016
.11
Wireless Power Transfer System Evaluation in a Pacemaker
Rupam Das
,
Hypungsuk Yoo
대한전기학회 학술대회 논문집
2013
.10
심장질환 치료를 위한 체내삽입형 저전력 Pacemaker에 관한 연구
김교석
,
이상원
,
조준동
대한전기학회 학술대회 논문집
2007
.10
A low complexity QRS detector operates in multi-modes, with saved power consumption for Implantable Pacemaker IC
H. T. Tung
,
J. P. Son
,
Y. P. Kang
외 3명
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2006
.07
서맥성 부정맥 치료를 위한 심장 박동기 이식술에 대한 이해
이창희
,
정동채
,
임세영
외 4명
대한인터벤션영상기술학회지
2003
.05
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-002622623