Organic Computing - Addressing Complexity by Controlled Self-Organization
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 |
| Seiten | 185 - 191 |