DYVERSE: From Formal Verification to Biologically Inspired Real-Time Self-Organizing Systems

Eva M. Navarro-López. DYVERSE: From Formal Verification to Biologically Inspired Real-Time Self-Organizing Systems. In Justyna Zander, Pieter J. Mosterman, editors, Computation for Humanity - Information Technology to Advance Society. Computational Analysis, Synthesis, and Design of Dynamic Systems, pages 303-348, CRC Press, 2014.

Abstract

Abstract is missing.