01323nam 2200361 450 991041235620332120230824174020.0(CKB)5280000000243415(NjHacI)995280000000243415(EXLCZ)99528000000024341520230824d2020 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierTAV-CPS/IoT'20 proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things : July 19, 2020, Virtual Event, USA /Association for Computing MachineryNew York, NY :The Association for Computing Machinery,[2020]1 online resource illustrations1-4503-8032-8 Cooperating objects (Computer systems)Cooperating objects (Computer systems)Automatic controlInternet of thingsCooperating objects (Computer systems)Cooperating objects (Computer systems)Automatic control.Internet of things.629.8NjHacINjHaclBOOK9910412356203321TAV-CPS3474530UNINA