共 50 条
- [31] 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
- [32] 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
- [34] Model-based development of computer-based information systems INTERNATIONAL CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1997, : 354 - 359
- [36] Study on Model-Based Security Assessment of Information Systems COMPUTING AND INTELLIGENT SYSTEMS, PT III, 2011, 233 : 401 - 406
- [37] An Evaluation of a Model-Based Testing Method for Information Systems APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 770 - +
- [38] A model-based approach to information retrieval systems development Proceedings of the 10th IASTED International Conference on Software Engineering and Applications, 2006, : 459 - 464
- [39] Study on Model-based Security Assessment of Information Systems 2010 SECOND INTERNATIONAL CONFERENCE ON E-LEARNING, E-BUSINESS, ENTERPRISE INFORMATION SYSTEMS, AND E-GOVERNMENT (EEEE 2010), VOL I, 2010, : 289 - 292