MRMC Markov Reward Model Checker definition file
File type: Various data file
File type category:
Various data file
Date updated: October 16, 2012
The REWI file extension is associated with the MRMC (Markov Reward Model Checker). A *.rewi file contains the impulse-reward definitions.
MRMC (Microsoft Windows)
Language