TAVCPSIOT

TAV-CPS/IoT 2018 with ECOOP and ISSTA 2018

Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things Embedded and cyber-physical systems (e.g., avionics, robotics, medical devices, IoT devices) are different from traditional systems: they are environment (e.g., hardware) dependent; they are distributed and can employ different concurrency control mechanisms to coordinate software components; they can have timing and ...