共 50 条
- [1] Model-Based Structured Requirements in SysML [J]. SYSCON 2022: THE 16TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2022,
- [2] Model-Based Verification Strategies Using SysML and Bayesian Networks [J]. PROCEEDINGS OF THE 2023 CONFERENCE ON SYSTEMS ENGINEERING RESEARCH, CSER 2023, 2024, : 19 - 33
- [3] Applying a Model-Based Approach to IT Systems Development Using SysML Extension [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 563 - 577
- [5] Model-based control of a handling system with SysML [J]. 2013 CONFERENCE ON SYSTEMS ENGINEERING RESEARCH, 2013, 16 : 197 - 205
- [6] Model-based safety assessment with SysML and component fault trees: application and lessons learned [J]. Software and Systems Modeling, 2020, 19 : 889 - 910
- [7] Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees [J]. 21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2018), 2018, : 134 - 143
- [8] Model-based safety assessment with SysML and component fault trees: application and lessons learned [J]. SOFTWARE AND SYSTEMS MODELING, 2020, 19 (04): : 889 - 910
- [10] Vulnerability Assessment of Web Services with Model-based Mutation Testing [J]. 2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2018), 2018, : 301 - 312