[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, Richter, Urban, Rochner, Fabian, Schmeck, HartmutAnnée:
2006
Langue:
english
DOI:
10.1109/isola.2006.19
Fichier:
PDF, 789 KB
english, 2006