Verifying Interoperability in Evolving IoT Systems.

Hongming Zhang, Judy Bowen, Jessica Turner, Jemma L. Knig

Browse the full ENASE paper archive.