Verifying Multi-vendor IoT Deployments Using Conditional Tables

Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2026

View at publisher
Authors: Mubashir Anwar, Matthew Caesar, A. Hung Wang
DOI: 10.1007/978-3-032-10554-7_8
Cited by: 0
References: 31

Fields of Study & Subjects

Advanced Database Systems and Queries Distributed systems and fault tolerance Data Management and Algorithms

Publication details

Journal / source
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Pages
145–168
Publication date
1 January 2026
Language
EN