A Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems

Francesco Luca De Angelis, Giovanna Di Marzo Serugendo. A Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems. In 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2015, Cambridge, MA, USA, September 21-25, 2015. pages 86-91, IEEE Computer Society, 2015. [doi]

Authors

Francesco Luca De Angelis

This author has not been identified. Look up 'Francesco Luca De Angelis' in Google

Giovanna Di Marzo Serugendo

This author has not been identified. Look up 'Giovanna Di Marzo Serugendo' in Google