A Formal Development Approach for Self-Organising Systems

Qin Li, Graeme Smith. A Formal Development Approach for Self-Organising Systems. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. pages 209-212, IEEE, 2014. [doi]

Abstract

Abstract is missing.