Wat is het CTMDPI-bestand?
De CTMDPI-bestandsextensie is gekoppeld aan de MRMC (Markov Reward Model Checker).
Het .CTMDPI-bestand bevat de tariefmatrix en bovendien de transitie-labeling om onderscheid te maken tussen verschillende niet-deterministische keuzes.
Programma's die .CTMDPI-bestanden kunnen openen
|
RWTH Aachen University
MRMC
|
Windows |
Hoe open je een .CTMDPI-bestand?
Als u problemen ondervindt bij het openen van het bestand CTMDPI, is het probleem in de meeste gevallen alleen het ontbreken van de juiste applicatie geïnstalleerd. Selecteer een van de programma's uit de lijst en installeer deze op uw apparaat. Het besturingssysteem zou automatisch de bestandsindeling CTMDPI moeten associëren met het geïnstalleerde programma. Als dit niet het geval is, klik dan met de rechtermuisknop op uw CTMDPI-bestand en selecteer in het menu "Openen met" . Selecteer vervolgens het geïnstalleerde programma en bevestig de bewerking. Nu zouden alle CTMDPI-bestanden automatisch moeten openen met het geselecteerde programma.
