共 50 条
- [21] Design verification in model-based μ-controller development using an abstract component SOFTWARE AND SYSTEMS MODELING, 2011, 10 (01): : 91 - 115
- [22] Design verification in model-based μ-controller development using an abstract component Software & Systems Modeling, 2011, 10 : 91 - 115
- [25] A Model-based Torque Estimation for Combusion Engines and Experimental Verification 2010 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, 2010, : 707 - 712
- [26] Quantifying the Sim2Real Gap: Model-Based Verification and Validation in Autonomous Ground Systems IEEE ROBOTICS AND AUTOMATION LETTERS, 2025, 10 (04): : 3819 - 3826
- [27] Agile Model-Based Integration Framework for Advanced Software Validation and Verification AIAA SCITECH 2023 FORUM, 2023,
- [28] Model-based verification of knowledge-based systems: A case study IEE Proceedings: Software, 2000, 147 (05): : 163 - 168
- [29] Model-based testing and validation on knowledge-based systems PROCEEDINGS OF 2007 IEEE INTERNATIONAL CONFERENCE ON GREY SYSTEMS AND INTELLIGENT SERVICES, VOLS 1 AND 2, 2007, : 1242 - 1245
- [30] Semantics for model-based validation of continuous/discrete systems 2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3, 2008, : 455 - 460