.REWI - 파일 확장자
REWI는 MRMC Markov 보상 모델 검사기 정의 파일입니다.
기능 | 설명 |
---|---|
파일 확장자 | .rewi |
체재 | N/A |
개발자 : | RWTH Aachen University |
범주 | Various data |
REWI는 MRMC Markov 보상 모델 검사기 정의 파일입니다.
기능 | 설명 |
---|---|
파일 확장자 | .rewi |
체재 | N/A |
개발자 : | RWTH Aachen University |
범주 | Various data |
Rewi 파일 확장자는 MRMC (Markov Reward Model Checker)와 관련이 있습니다. A *.rewi 파일에는 임펄스 보상 정의가 포함되어 있습니다.