共 50 条
- [21] Model based design in the development of thermodynamic systems and their electronic control units PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 & 2, 2002, : 707 - 712
- [22] An OSEK/VDX-based Multi-JVM for automotive appliances EMBEDDED SYSTEM DESIGN: TOPICS, TECHNIQUES AND TRENDS, 2007, 231 : 85 - +
- [23] Verifying OSEK/VDX Applications: An Optimized SMT-based Bounded Model Checking Approach 2016 IEEE/ACIS 15TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2016, : 615 - 620
- [24] Model-based iterative control design PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 2578 - 2582
- [25] System Generation Tool for OSEK/VDX based Automotive Software Development IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS (ICCE 2011), 2011, : 285 - 286
- [26] OSEK/VDX-based Dynamic Network Management on Automotive Network 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 131 - 137
- [27] Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 305 - 319
- [28] Systematic Model-Based Engine Control Design SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 1 (01): : 413 - 424
- [30] Model-Based Synthesis of Control for Power Electronic Converters APPLICATIONS OF MATHEMATICS IN ENGINEERING AND ECONOMICS (AMEE20), 2021, 2333