共 50 条
- [32] Model-Based Design of PHEV Adaptive Control 2018 UKACC 12TH INTERNATIONAL CONFERENCE ON CONTROL (CONTROL), 2018, : 56 - 61
- [33] Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (105): : 69 - 84
- [36] Model-based Cybersecurity for Control Systems: Modeling, Design and Control 2017 56TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE), 2017, : 724 - 727
- [37] Distributed Environment for Model-Based Design of Power Electronic Devices 2018 20TH INTERNATIONAL SYMPOSIUM ON ELECTRICAL APPARATUS AND TECHNOLOGIES (SIELA), 2018,