O que é o arquivo CTMDPI?
A extensão do arquivo CTMDPI está associada ao MRMC (Markov Reward Model Checker).
O arquivo .CTMDPI contém a matriz de taxas e, adicionalmente, a rotulagem de transição para distinguir entre diferentes opções não determinísticas.
Programas, que podem abrir arquivos .CTMDPI
RWTH Aachen University
MRMC
|
Windows |
Como abrir um arquivo .CTMDPI?
Se você tiver problemas para abrir o arquivo CTMDPI, então, na maioria dos casos, o problema é apenas a falta do aplicativo adequado instalado. Selecione um dos programas da lista e instale-o no seu dispositivo. O sistema operacional deve associar automaticamente o formato de arquivo CTMDPI ao programa instalado. Caso contrário, clique com o botão direito no seu arquivo CTMDPI e selecione no menu "Abrir com" . Em seguida, selecione o programa instalado e confirme a operação. Agora todos os arquivos CTMDPI devem abrir automaticamente com o programa selecionado.