共 50 条
- [31] Model-Based Software Validation for Automotive Control Systems INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS (ICCAS 2010), 2010, : 912 - 915
- [32] 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
- [33] A Model-based Approach to the Development and Verification of Robotic Systems for Competitions 2023 LATIN AMERICAN ROBOTICS SYMPOSIUM, LARS, 2023 BRAZILIAN SYMPOSIUM ON ROBOTICS, SBR, AND 2023 WORKSHOP ON ROBOTICS IN EDUCATION, WRE, 2023, : 236 - 241
- [34] A Methodology for Model-Based Validation of Autonomous Vehicle Systems 2020 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2020, : 2097 - 2103
- [35] Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 95 - 104
- [36] 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
- [37] Validation and verification in open systems architectures for RF electronics 2000 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 6, 2000, : 471 - 477
- [38] Model-Based Functional Verification PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 421 - 424
- [39] Model-Based Continuous Verification 2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016), 2016, : 81 - 88