סיומת קובץ CTMDPI
- מפתח על ידי: RWTH Aachen University
- קטגוריה: קבצי נתונים שונים
מהם קבצי CTMDPI וכיצד לפתוח אותם?
לא מצליח לפתוח קובץ CTMDPI? אתה תוהה מה הוא מכיל? באתר שלנו נסביר לכם מהו הקובץ הזה, למה הוא משמש ואיזו תוכנה פותחת את קובץ ה-.CTMDPI.מהי סיומת קובץ CTMDPI?
סיומת הקובץ CTMDPI נוצרה על ידי אוניברסיטת RWTH Aachen. CTMDPI סווג כקבצי נתונים שונים.
CTMDPI הוא קובץ המטריצה של MRMC Markov Reward Model Checker
סיומת הקובץ CTMDPI משויכת ל-MRMC (Markov Reward Model Checker). קובץ ה-.ctmdpi מכיל את מטריצת הקצב ובנוסף את תיוג המעבר כדי להבחין בין אפשרויות לא דטרמיניסטיות שונות.