Browsing by Author Prashanth, C.M.
Showing results 1 to 4 of 4
|2009||Efficient algorithms for verification of UML statechart models||Prashanth, C.M.; Shet, K.C.||-|
|2008||An efficient event based approach for verification of UML statechart model for reactive Systems||Prashanth, C.M.; Shet, K.C.; Elamkulam, J.||-|
|2008||Verification framework for detecting safety violations in UML statecharts||Prashanth, C.M.; Shet, K.C.; Elamkulam, J.||-|
|2009||Verification of protocol design using UML - SMV||Prashanth, C.M.; Chandrashekar, Shet, K.||-|