홈 > 표준화 개요 > TTA의 표준현황
| 표준번호 | TTAK.KO-11.0117 | 구표준번호 | |
|---|---|---|---|
| 제개정일 | 2011-12-21 | 총페이지 | 7 |
| 한글표준명 | CPS 시스템의 모델 검사기 참조 모델 | ||
| 영문표준명 | Reference Model for Model Checkers of CPS Systems | ||
| 한글내용요약 | 주요 내용으로는 CPS 통합 모델 검사기의 기술적 요구 사항을 제시하며, 이를 바탕으로 CPS 모델 검사기를 개발하는데 사용할 수 있는 참조 모델을 제시한다. | ||
| 영문내용요약 | This standard includes technical requirements for model checkers of CPS integrated models, and a reference model for the development of CPS model checkers, derived from the requirements. | ||
| 국제표준 | |||
| 관련파일 |
 TTAK.KO-11.0117.pdf
| ||
