共 50 条
- [31] Scenario-based verification in presence of variability using a synchronous approach [J]. Frontiers of Computer Science, 2013, 7 : 650 - 672
- [32] Scenario-based testing using symbolic animation of B?models [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (06): : 407 - 434
- [34] Scenario-Based Prediction of Business Processes Using System Dynamics [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2019 CONFERENCES, 2019, 11877 : 422 - 439
- [35] A scenario-based approach to protocol design using evolutionary techniques [J]. APPLICATIONS OF EVOLUTIONARY COMPUTING, 2004, 3005 : 178 - 187
- [37] Verification of Scenario-based Behavioural Models using Capella and PyNuSMV [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2021, : 337 - 343