.REW - 파일 확장자
REW는 MRMC Markov 보상 모델 검사기 정의 파일입니다.
기능 | 설명 |
---|---|
파일 확장자 | .rew |
체재 | N/A |
개발자 : | RWTH Aachen University |
범주 | Various data |
REW는 MRMC Markov 보상 모델 검사기 정의 파일입니다.
기능 | 설명 |
---|---|
파일 확장자 | .rew |
체재 | N/A |
개발자 : | RWTH Aachen University |
범주 | Various data |
REW 파일 확장자는 MRMC (Markov Reward Model Checker)와 관련이 있습니다. THI 프로그램에서 개별 시간과 연속 시간에 사용되는 모델 검사기입니다. .REW 파일에는 상태 보상 정의가 포함되어 있습니다.