SMT-as-a-Service for Fog-Supported Cyber-Physical Systems.

Stefan Holzer, Pantelis A. Frangoudis, Christos Tsigkanos, Schahram Dustdar

Browse the full ICDCN paper archive.