earticle

논문검색

Algebraic Specification and Analysis of Health Records

목차

Abstract
 1. Introduction
 2. Object-Based Key Assignment Schemes
 3. Related Work
 4. Mathematical Background
 5. Healthcare System
  5.1 Specification
  5.2 Analysis
  5.3 Implementation
 5. Conclusion
 6. APPENDIX
 References

저자정보

  • Khair Eddin Sabri Computer Science Department King Abdullah II School for Information Technology The University of Jordan, Amman, Jordan

참고문헌

자료제공 : 네이버학술정보

    함께 이용한 논문

      ※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.

      0개의 논문이 장바구니에 담겼습니다.