Declarative Programming and Querying in a Distributed Cyber-Physical System: The i-VISION Case
2nd International Workshop on modelling, analysis, and control of complex Cyber-Physical Systems, April 11th, 2016, Vienna, Austria
T. Käfer, A. Harth, S. Mamessier