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