Detecting Design Flaws in UML State Charts for Embedded Software

Sorry, there's nothing here.

Cite this paper

@inproceedings{Elamkulam2006DetectingDF, title={Detecting Design Flaws in UML State Charts for Embedded Software}, author={Janees Elamkulam and Ziv Glazberg and Ishai Rabinovitz and Gururaja Kowlali and Satish Chandra Gupta and Sandeep Kohli and Sai Dattathrani and Claudio Paniagua Macia}, booktitle={Haifa Verification Conference}, year={2006} }