To search, Click below search items.
All Published Papers Search Service
Title
A New approach to Detect Safety Violations in UML Statechart Models
Author
Prashanth C.M., K. Chandrashekar Shet
Vol. 8 No. 7 pp. 167-174
Keywords
UML Statecharts, Software verification, Reactive Systems