Browsing by Author Shet, K.C.
Showing results 25 to 25 of 25
< 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. | - |