Hello guys,
I generate some data in Char format in Matlab(about 250,000 samples).
And I need to export this data to another software named Prism(model checker) to be processed.
I’d like to have a mediator software to do this automatically.
Any help would be greatly appreciated!
