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