Treffer: A Formal Development Approach for Self-Organising Systems

Title:
A Formal Development Approach for Self-Organising Systems
Source:
2014 Theoretical Aspects of Software Engineering Conference Theoretical Aspects of Software Engineering Conference (TASE), 2014. :209-212 Sep, 2014
Relation:
2014 Theoretical Aspects of Software Engineering Conference (TASE)
Database:
IEEE Xplore Digital Library