𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Context Awareness Systems Design and Reasoning

✍ Scribed by Dong, Jin Song; Feng, Yuzhang; Sun, Jing; Sun, Jun

Book ID
121863466
Publisher
IEEE
Year
2006
Tongue
English
Weight
471 KB
Category
Article
ISBN
0769530710

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[IEEE Second International Symposium on
[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Organic Computing Β– Addressing Complexity by Controlled Self-Organization
✍ Branke, JΓΌrgen; Mnif, Moez; MΓΌller-Schloer, Christian; Prothmann, Holger; Richte πŸ“‚ Article πŸ“… 2006 πŸ› IEEE 🌐 English βš– 789 KB