To search, Click below search items.

 

All Published Papers Search Service

Results for K. Chandrashekar Shet; Total 1

Title

A New approach to Detect Safety Violations in UML Statechart Models

Author

Prashanth C.M., K. Chandrashekar Shet

Citation

Vol. 8  No. 7  pp. 167-174

Keywords

UML Statecharts, Software verification, Reactive Systems


[1]