[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

✍ Scribed by Branke, Jürgen; Mnif, Moez; Müller-Schloer, Christian; Prothmann, Holger; Richter, Urban; Rochner, Fabian; Schmeck, Hartmut

• Book ID: 118259056
• Publisher: IEEE
• Year: 2006
• Tongue: English
• Weight: 789 KB
• Volume: 0
• Category: Article
• ISBN: 0769530710
• DOI: 10.1109/isola.2006.19