A Study on Scheduler Based on CARDMI Process Algebra for Automated Control of Emergency Medical System (응급 의료 시스템의 자동 제어를 위한 CARDMI 프로세스 알제브라 기반 스케줄러에 관한 연구)
-
- Proceedings of the Korean Information Science Society Conference
- /
- 2008.06b
- /
- pp.65-70
- /
- 2008