Qu'est-ce que le fichier CTMDPI?
L'extension de fichier CTMDPI est associée au MRMC (Markov Reward Model Checker).
Le fichier .CTMDPI contient la matrice de taux et en plus l'étiquetage de transition pour distinguer les différents choix non déterministes.
Programmes pouvant ouvrir les fichiers .CTMDPI
|
RWTH Aachen University
MRMC
|
Windows |
Comment ouvrir un fichier .CTMDPI?
Si vous rencontrez des problèmes pour ouvrir le fichier CTMDPI, dans la plupart des cas, le problème n'est que le manque d'application appropriée installée. Sélectionnez l'un des programmes dans la liste et installez-le sur votre appareil. Le système d'exploitation doit automatiquement associer le format de fichier CTMDPI au programme installé. Sinon, faites un clic droit sur votre fichier CTMDPI et sélectionnez dans le menu "Ouvrir avec" . Sélectionnez ensuite le programme installé et confirmez l'opération. À présent, tous les fichiers CTMDPI devraient s'ouvrir automatiquement avec le programme sélectionné.
