응급 의료 시스템의 자동 제어를 위한 CARDMI 프로세스 알제브라 기반 스케줄러에 관한 연구 (A Study on Scheduler Based on CARDMI Process Algebra for Automated Control of Emergency Medical System)
-
- 한국정보과학회:학술대회논문집
- /
- 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
- /
- pp.65-70
- /
- 2008