TAV-CPS/IoT 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Conference Editions
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands

TAV-CPS/IoT 2018 with ECOOP and ISSTA

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 ...