Chikmagalur Manjappa Prashanth

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

Publications

Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet
Efficient Algorithms for Verification of UML Statechart Models. J. Softw. 4 (3) (2009)
Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet, Janees Elamkulam
Verification Framework for Detecting Safety Violations in UML Statecharts. Asia International Conference on Modelling and Simulation (2008)