ShaliniRNair
How can you make NuSMV code from a given state chart diagram?
Des any one know about the procedure? If so, could you please send in some sample codes, input output etc. and some important books or links that could be useful.
Thanx
Des any one know about the procedure? If so, could you please send in some sample codes, input output etc. and some important books or links that could be useful.
Thanx