Browsing by Author Elamkulam, J.
Showing results 1 to 2 of 2
|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.||-|