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]

Authors

Andres J. Ramirez

This author has not been identified. Look up 'Andres J. Ramirez' in Google

Betty H. C. Cheng

This author has not been identified. Look up 'Betty H. C. Cheng' in Google