Czym jest plik CTMDPI?
Rozszerzenie pliku CTMDPI jest związane z MRMC (Markov Reward Model Checker).
Plik .CTMDPI zawiera macierz szybkości i dodatkowo etykietę przejścia, aby rozróżnić różne niedeterministyczne wybory.
Programy, które potrafią otworzyć pliki .CTMDPI
|
RWTH Aachen University
MRMC
|
Windows |
Jak otworzyć plik .CTMDPI?
Jeżeli masz problemy z otwarciem pliku CTMDPI to w większości przypadków problemem jest tylko brak zainstalowanej odpowiedniej aplikacji. Wybierz jeden z programów z listy i zainstaluj go na swoim urządzeniu. System operacyjny powinien automatycznie kojarzyć format pliku CTMDPI z zainstalowanym programem. Jeśli nie, kliknij prawym przyciskiem myszy plik CTMDPI i wybierz z menu "Otwierać z" . Następnie wybierz zainstalowany program i potwierdź operację. Teraz wszystkie pliki CTMDPI powinny zostać automatycznie otwarte w wybranym programie.
