.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 Model Model Checker). Це перевірка моделі, яка використовується для дискретного часу та безперервного часу в програмі THI. Файл .rew містить визначення на винагороді.