Title: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)
Subjects: Logic design, Computer science, Software engineering, Operating systems (Computers)