共 50 条
- [1] Rigorous Model-Based Design & Verification Flow for In-Vehicle Software PROCEEDINGS OF THE 48TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2011, : 13 - 16
- [2] Model-based Development of embedded Vehicle Software at DaimlerChrysler COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT, 2005, 20 (1-2): : 3 - 10
- [3] Model-based simulation and threat analysis of in-vehicle networks 2019 15TH IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS (WFCS), 2019,
- [4] SmartOSEK based design and verification for in-vehicle network system: A model-based approach 2006 9TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1- 5, 2006, : 1449 - +
- [5] Components in Model-Based Software Development 2013 COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2013,
- [7] Model-based software development with eclipse QUALITY OF SOFTWARE ARCHITECTURES, 2006, 4214 : 5 - +
- [8] Model-Based Software Development - Autocode to Autosar 2022 IEEE/AIAA TRANSPORTATION ELECTRIFICATION CONFERENCE AND ELECTRIC AIRCRAFT TECHNOLOGIES SYMPOSIUM (ITEC+EATS 2022), 2022, : 534 - 539
- [10] Monarch: Model-Based Development of Software Architectures MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT II, 2010, 6395 : 376 - 390