.REW - Bestandsextensie
REW is MRMC Markov -beloningsmodel Checker Definitiebestand.
Kenmerken | Beschrijving |
---|---|
Bestandsextensie | .rew |
Formaat | N/A |
Ontwikkelaar door | RWTH Aachen University |
Categorie | Various data |
REW is MRMC Markov -beloningsmodel Checker Definitiebestand.
Kenmerken | Beschrijving |
---|---|
Bestandsextensie | .rew |
Formaat | N/A |
Ontwikkelaar door | RWTH Aachen University |
Categorie | Various data |
De REW -bestandsuitbreiding is gekoppeld aan de MRMC (Markov Reward Model Checker). Het is een modelcontrole die wordt gebruikt om discrete en continu-tijd in dit programma. Het .REW-bestand bevat de definities van de staat-verhulling.