Wat is het REW-bestand?
De REW-bestandsextensie is gekoppeld aan de MRMC (Markov Reward Model Checker). Het is een modelchecker die wordt gebruikt om discrete tijd en continue tijd in dit programma te gebruiken. Het .REW-bestand bevat de state-REWard-definities.
Programma's die .REW-bestanden kunnen openen
|
RWTH Aachen University
MRMC
|
Windows |
Hoe open je een .REW-bestand?
Als u problemen ondervindt bij het openen van het bestand REW, is het probleem in de meeste gevallen alleen het ontbreken van de juiste applicatie geïnstalleerd. Selecteer een van de programma's uit de lijst en installeer deze op uw apparaat. Het besturingssysteem zou automatisch de bestandsindeling REW moeten associëren met het geïnstalleerde programma. Als dit niet het geval is, klik dan met de rechtermuisknop op uw REW-bestand en selecteer in het menu "Openen met" . Selecteer vervolgens het geïnstalleerde programma en bevestig de bewerking. Nu zouden alle REW-bestanden automatisch moeten openen met het geselecteerde programma.
