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