Verifying and Analyzing Adaptive Logic through UML State Models.

Andres J. Ramirez, Betty H. C. Cheng

Browse the full ICST paper archive.