홈 > 표준화 개요 > TTA의 표준현황
| 표준번호 | TTAK.KO-11.0141 | 구표준번호 | |
|---|---|---|---|
| 제개정일 | 2012-12-21 | 총페이지 | 17 |
| 한글표준명 | 사이버-물리 시스템(CPS) 모델 검증을 위한 분산형 정형 검증기 요구 사항 | ||
| 영문표준명 | Requirements of Distributed Formal Verifiersfor CPS Model Verification | ||
| 한글내용요약 | 본 표준은 주요 내용으로는 가상-물리 시스템(CPS) 모델의 정형 검증 개요와 대규모 하이브리드 가상-물리 시스템(CPS) 모델 검증을 위한 분산형 정형 검증기의 기술적 요구 사항을 포함한다. | ||
| 영문내용요약 | This standard includes an overview of formal verification of CPS models and technical requirements of distributed formal verifiers for verification of large-scale hybrid CPS models. | ||
| 국제표준 | |||
| 관련파일 |
 TTAK.KO-11.0141.pdf
| ||
