![]() | ![]() |
2008 | ||
---|---|---|
1 | EE | 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: 849-854 |
1 | Janees Elamkulam | [1] |
2 | K. Chandrashekar Shet | [1] |