語系
CyPhy (Workshop) (2017 :)
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Cyber physical systems = design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017 : revised selected papers /
by:
CyPhy (Workshop) (2017 :); Chamberlain, Roger.; Taha, Walid.; Torngren, Martin.; SpringerLink (Online service)
(書目-電子資源)
主題
Automatic control
Sensor networks
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Cybernetics
Computer systems- Verification
Information Systems Applications (incl. Internet)
Special Purpose and Application-Based Systems.
Computer Hardware.
Computer System Implementation.
Cooperating objects (Computer systems)