1
Oct
2009
Organic Computing systems differ from classical software systems as the topology of the system and the participating components of the system are not predefined and are subject to unforeseeable change during the system’s runtime. Thus, completely new challenges to the verification and validation of such systems as well as for interactions between system components and,