共 50 条
- [42] Modeling Cyber-Physical Systems for Automatic Verification 2017 14TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD), 2017,
- [43] Modeling Future Cyber-Physical Energy Systems 2008 IEEE POWER & ENERGY SOCIETY GENERAL MEETING, VOLS 1-11, 2008, : 2397 - +
- [46] On modeling of electrical cyber-physical systems considering cyber security Frontiers of Information Technology & Electronic Engineering, 2016, 17 : 465 - 478
- [50] Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design 2017 IEEE 30TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), 2017, : 373 - 378