Cos'è il file CTMDPI?
L'estensione del file CTMDPI è associata a MRMC (Markov Reward Model Checker).
Il file .CTMDPI contiene la matrice di velocità e inoltre l'etichettatura di transizione per distinguere tra diverse scelte non deterministiche.
Programmi che possono aprire file .CTMDPI
RWTH Aachen University
MRMC
|
Windows |
Come aprire un file .CTMDPI?
Se hai problemi ad aprire il file CTMDPI, nella maggior parte dei casi il problema è solo l'assenza di un'applicazione adeguata installata. Seleziona uno dei programmi dall'elenco e installalo sul tuo dispositivo. Il sistema operativo dovrebbe associare automaticamente il formato di file CTMDPI al programma installato. In caso contrario, fare clic con il pulsante destro del mouse sul file CTMDPI e selezionare dal menu "Aperta con" . Quindi selezionare il programma installato e confermare l'operazione. Ora tutti i file CTMDPI dovrebbero aprirsi automaticamente con il programma selezionato.