SaVeWoT: Scripting and Verifying Web of Things Systems and Their Effects on the Physical World.

Justus Fries, Michael Freund, Andreas Harth

Browse the full KI paper archive.