.REW - Dateierweiterung
REW ist die Definitionsdatei „MRMC Markov Belohnungsmodellsprüfer“.
Funktionen | Beschreibung |
---|---|
Dateierweiterung | .rew |
Format | N/A |
Entwickler von | RWTH Aachen University |
Kategorie | Various data |
REW ist die Definitionsdatei „MRMC Markov Belohnungsmodellsprüfer“.
Funktionen | Beschreibung |
---|---|
Dateierweiterung | .rew |
Format | N/A |
Entwickler von | RWTH Aachen University |
Kategorie | Various data |
Die REW -Dateierweiterung ist dem MRMC (Markov Reward Model Checker) zugeordnet. Es handelt sich um eine Modellprüfung, die im THI-Programm diskrete Zeit und kontinuierliche Zeit verwendet hat. Die .REW-Datei enthält die staatlichen Definitionen.