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]

Authors

Qin Li

This author has not been identified. Look up 'Qin Li' in Google

Graeme Smith

This author has not been identified. It may be one of the following persons: Look up 'Graeme Smith' in Google