DYVERSE: From formal verification to biologically-inspired real-time self-organizing systems
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