Was ist die CTMDPI-Datei?
Die CTMDPI-Dateiendung ist dem MRMC (Markov Reward Model Checker) zugeordnet.
Die CTMDPI-Datei enthält die Ratenmatrix und zusätzlich die Übergangsbeschriftung, um zwischen verschiedenen nicht deterministischen Auswahlmöglichkeiten zu unterscheiden.
Programme, die .CTMDPI-Dateien öffnen können
|
RWTH Aachen University
MRMC
|
Windows |
Wie öffne ich eine .CTMDPI-Datei?
Wenn Sie Probleme beim Öffnen der Datei CTMDPI haben, liegt das Problem in den meisten Fällen nur am Fehlen der richtigen installierten Anwendung. Wählen Sie eines der Programme aus der Liste aus und installieren Sie es auf Ihrem Gerät. Das Betriebssystem sollte dem installierten Programm automatisch das Dateiformat CTMDPI zuordnen. Wenn nicht, klicken Sie mit der rechten Maustaste auf Ihre CTMDPI-Datei und wählen Sie aus dem Menü "Öffnen mit" . Wählen Sie dann das installierte Programm aus und bestätigen Sie den Vorgang. Jetzt sollten alle CTMDPI-Dateien automatisch mit dem ausgewählten Programm geöffnet werden.
