About this scholarly article

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Context Awareness Systems Design and Reasoning by Dong, Jin Song; Feng, Yuzhang; Sun, Jing; Sun, Jun is a scholarly article available to read on EtoBox.

Author

Dong, Jin Song; Feng, Yuzhang; Sun, Jing; Sun, Jun

Publisher

IEEE

Published

2006