📣 Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

DYVERSE: From formal verification to biologically-inspired real-time self-organizing systems

First Author: E.M. Navarro-Lopez
Attributed to:  DYVERSE: A New Kind of Control for Hybrid Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://staff.cs.manchester.ac.uk/~navarroe/papers/enavarro_bookch2013.pdf

Type: Book Chapter

Edition: 1st

Book Title: Computation for Humanity - Information Technology to Advance Society (2013)

Page Reference: 305-350

ISBN: ISBN-10:1439883270