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