LEADER 01323nam  2200361   450 
001 9910412356203321
005 20230824174020.0
035   $a(CKB)5280000000243415
035   $a(NjHacI)995280000000243415
035   $a(EXLCZ)995280000000243415
100   $a20230824d2020      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTAV-CPS/IoT'20 $eproceedings 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 /$fAssociation for Computing Machinery
210  1$aNew York, NY :$cThe Association for Computing Machinery,$d[2020]
215   $a1 online resource $cillustrations
311   $a1-4503-8032-8 
606   $aCooperating objects (Computer systems)
606   $aCooperating objects (Computer systems)$xAutomatic control
606   $aInternet of things
615  0$aCooperating objects (Computer systems)
615  0$aCooperating objects (Computer systems)$xAutomatic control.
615  0$aInternet of things.
676   $a629.8
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910412356203321
996   $aTAV-CPS$93474530
997   $aUNINA