| 표준종류 |
정보통신단체표준(TTAS) |
| 표준번호 |
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.
|
| 관련 IPR 확약서 |
접수된 IPR 확약서 없음
|
| 관련파일 |
 TTAK.KO-11.0117.pdf
|
|
| 표준이력 |
| 표준명 |
표준번호 |
제개정일 |
구분 |
유효
여부 |
IPR
확약서 |
파일 |
| CPS 시스템의 모델 검사기 참조 모델 |
TTAK.KO-11.0117
|
2011-12-21 |
제정
|
유효
|
없음
|
|
|
| 표준유지보수이력 |
| 검토일자 |
검토결과 |
검토내용 |
| 2015-06-03 |
유지 |
- |
|
