Verification Framework for Detecting Safety Violations in UML Statecharts

2008 Second Asia International Conference on Modelling & Simulation (AMS) ◽

10.1109/ams.2008.9 ◽

2008 ◽

Author(s):

Chikmagalur Manjappa Prashanth ◽

K. Chandrashekar Shet ◽

Janees Elamkulam

Download Full-text