共 50 条
- [23] Towards a Model-Based Development Methodology for Evolvable Production Systems PROCEEDINGS OF THE SECOND INTERNATIONAL AFRO-EUROPEAN CONFERENCE FOR INDUSTRIAL ADVANCEMENT (AECIA 2015), 2016, 427 : 83 - 92
- [25] A Model-Based Methodology for Automated Verification of ROS 2 Systems PROCEEDINGS OF 2024 IEEE/ACM 6TH INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING, ROSE 2024, 2024, : 35 - 42
- [26] Towards a Model-Based Verification Methodology for Complex Swarm Systems 2016 SIXTH INTERNATIONAL SYMPOSIUM ON EMBEDDED COMPUTING AND SYSTEM DESIGN (ISED 2016), 2016, : 18 - 23
- [28] A case study on the use of model-based systems for electronic fault diagnosis ARTIFICIAL INTELLIGENCE IN ENGINEERING, 1998, 12 (03): : 283 - 295
- [29] Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2009, 5562 : 325 - +