.CTMDPI - นามสกุลไฟล์
CTMDPI คือไฟล์ MRMC Markov Model Model Checker Metrix
คุณสมบัติ | คำอธิบาย |
---|---|
นามสกุลไฟล์ | .ctmdpi |
รูป | N/A |
ผู้พัฒนาโดย | RWTH Aachen University |
ประเภท | Various data |
CTMDPI คือไฟล์ MRMC Markov Model Model Checker Metrix
คุณสมบัติ | คำอธิบาย |
---|---|
นามสกุลไฟล์ | .ctmdpi |
รูป | N/A |
ผู้พัฒนาโดย | RWTH Aachen University |
ประเภท | Various data |
ส่วนขยายไฟล์ CTMDPI นั้นเชื่อมโยงกับ MRMC (ตัวตรวจสอบโมเดล MARKOV รางวัล) ไฟล์ .CTMDPI มีเมทริกซ์อัตราและนอกจากนี้การติดฉลากการเปลี่ยนผ่านเพื่อแยกความแตกต่างระหว่างตัวเลือกที่ไม่ได้ตัดสินใจที่แตกต่างกัน