共 50 条
- [34] On an Exemplar Supporting Model-based Quality Assurance Research for Healthcare Systems-of-Systems PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SYSTEMS-OF-SYSTEMS AND SOFTWARE ECOSYSTEMS, SESOS 2024, 2024, : 57 - 60
- [36] Model-Based Testing of Railway Interlocking Systems LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: APPLICATION AREAS, PT V, ISOLA 2024, 2025, 15223 : 112 - 126
- [37] Model-driven Process Planning and Quality Assurance 9TH CIRP CONFERENCE ON INTELLIGENT COMPUTATION IN MANUFACTURING ENGINEERING - CIRP ICME '14, 2015, 33 : 209 - 214
- [38] Model-based Automation for Hardware Provisioning in IT Infrastructure 2014 8TH ANNUAL IEEE SYSTEMS CONFERENCE (SYSCON), 2014, : 293 - 300
- [39] Model-based testing of service infrastructure components TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 155 - +
- [40] Model-based automation for hardware provisioning in IT infrastructure 8th Annual IEEE International Systems Conference, SysCon 2014 - Proceedings, 2014, : 293 - 300