Environmental IoT: Programming Cyber-Physical Clouds with High-Level System Specifications.

Roberto Rodrigues Filho, Barry Porter, Gordon S. Blair

Browse the full UCC paper archive.