Browsing by Author Prashanth, C.M.
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) | Supervisor(s) |
| 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. | - |
