Что такое файл CTMDPI?
Расширение файла CTMDPI связано с MRMC (Markov Reward Model Checker).
Файл .CTMDPI содержит матрицу скорости и дополнительно маркировку перехода, чтобы различать различные недетерминированные варианты.
Программы, открывающие .CTMDPI файлы
RWTH Aachen University
MRMC
|
Windows |
Как открыть файл .CTMDPI?
Если у вас возникли проблемы с открытием файла CTMDPI, то в большинстве случаев проблема заключается только в отсутствии установленного соответствующего приложения. Выберите одну из программ из списка и установите ее на свое устройство. Операционная система должна автоматически связать формат файла CTMDPI с установленной программой. Если нет, щелкните правой кнопкой мыши файл CTMDPI и выберите его в меню. "Открыть с" . Затем выберите установленную программу и подтвердите операцию. Теперь все файлы CTMDPI должны автоматически открываться выбранной программой.