Verifying and Analyzing Adaptive Logic through UML State Models

Andres J. Ramirez, Betty H. C. Cheng. Verifying and Analyzing Adaptive Logic through UML State Models. In First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008. pages 529-532, IEEE Computer Society, 2008. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.