共 50 条
- [1] CLOSED-LOOP DESIGN FOR HYBRID POWERTRAINS PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2017, VOL 3, 2017,
- [3] Design of contract parameters in a closed-loop supply chain Central European Journal of Operations Research, 2013, 21 : 713 - 727
- [4] Closed-loop System Modeling, Validation, and Verification 2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
- [5] Verification of Contract-based Communicating Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (138):
- [8] Contract-Based Verification of Simulink Models FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 291 - 306