KIT | KIT-Bibliothek | Impressum | Datenschutz

Organic Computing - Addressing Complexity by Controlled Self-Organization

Branke, J.; Mnif, M.; Müller-Schloer, C.; Prothmann, H.; Richter, U.; Rochner, F.; Schmeck, H.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2006
Sprache Englisch
Identifikator ISBN: 978-0-7695-3071-0
KITopen-ID: 1000017408
Erschienen in Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006, 15-19 November 2006, Paphos, Cyprus. Ed.: T. Margaria
Verlag IEEE Computer Society, Los Alamitos (Calif.)
Seiten 185 - 191
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page