共 50 条
- [1] Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems NASA FORMAL METHODS, NFM 2016, 2016, 9690 : 227 - 233
- [4] Model-Based Verification and Validation of the SMAP Uplink Processes 2013 IEEE AEROSPACE CONFERENCE, 2013,
- [6] Model-based validation and verification of autonomous networked vehicles 2005 IEEE Aerospace Conference, Vols 1-4, 2005, : 530 - 536
- [7] Verification and Validation Approaches for Model-based Software Engineering 2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 514 - 518
- [8] Model-based validation of CANopen systems PROCEEDINGS OF 2014 10TH IEEE WORKSHOP ON FACTORY COMMUNICATION SYSTEMS (WFCS 2014), 2014,
- [9] The 1st Workshop on Model-Based Verification & Validation Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment 2009 THIRD IEEE INTERNATIONAL CONFERENCE ON SECURE SOFTWARE INTEGRATION AND RELIABILITY IMPROVEMENT, PROCEEDINGS, 2009, : 379 - 386
- [10] Model-Based Design and Verification of Reactive Systems COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 865 - 872