Phase variation simulation output visualisation (rectangular geometry)
Visualisation of the phase variation computational model simulation output considering a rectangular geometry.
More details are provided in the open access paper "Automatic validation of computational models using pseudo-3D spatio-temporal model checking" (http://www.biomedcentral.com/1752-050...) and on the official Mudi website (http://mudi.modelchecking.org).