共 50 条
- [2] Model-Based Quality Assurance of Automotive Software MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5301 : 858 - 873
- [3] MODEL-BASED QUALITY ASSURANCE OF \ONLINE BUSINESS PROCESSES INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2019, 15 (06): : 2071 - 2083
- [4] Quality assurance for autonomous systems - A review of model-based methods Eighth International Symposium on Autonomous Decentralized Systems, Proceedings, 2007, : 305 - 307
- [5] Quality assurance for autonomous systems - A review of model-based methods 11TH IEEE INTERNATIONAL WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2007, : 199 - 201
- [6] Model-based quality assurance of protocol documentation: tools and methodology SOFTWARE TESTING VERIFICATION & RELIABILITY, 2011, 21 (01): : 55 - 71
- [7] Quality Assurance in Model-Based Software Development - Challenges and Opportunities - SOFTWARE QUALITY: PROCESS AUTOMATION IN SOFTWARE DEVELOPMENT, 2012, 94 : 1 - 9
- [8] Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, SERENE 2013, 2013, 8166 : 184 - 198
- [9] Model-based optimization of public charging infrastructure planning in rural areas URBAN MOBILITY - SHAPING THE FUTURE TOGETHER, 2019, 41 : 342 - 353