¿Qué es el archivo CTMDPI?
La extensión de archivo CTMDPI está asociada con MRMC (Markov Reward Model Checker).
El archivo .CTMDPI contiene la matriz de tasas y, además, el etiquetado de transición para distinguir entre diferentes opciones no deterministas.
Programas que pueden abrir archivos .CTMDPI
|
RWTH Aachen University
MRMC
|
Windows |
¿Cómo abrir un archivo .CTMDPI?
Si tiene problemas para abrir el archivo CTMDPI, entonces, en la mayoría de los casos, el problema es solo la falta de la aplicación adecuada instalada. Seleccione uno de los programas de la lista e instálelo en su dispositivo. El sistema operativo debería asociar automáticamente el formato de archivo CTMDPI con el programa instalado. Si no es así, haga clic derecho en su archivo CTMDPI y seleccione del menú "Abrir con" . Luego seleccione el programa instalado y confirme la operación. Ahora todos los archivos CTMDPI deberían abrirse automáticamente con el programa seleccionado.
