共 50 条
- [41] Model-based requirements specification of real-time systems with UML, SysML and MARTE [J]. SOFTWARE AND SYSTEMS MODELING, 2018, 17 (01): : 343 - 361
- [42] VERA: A flexible model-based vulnerability testing tool [J]. 2013 IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2013), 2013, : 471 - 478
- [43] Model-based Safety Assessment using OCL and Petri Nets [J]. 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 56 - 59
- [44] A Model-Based System Engineering Approach for aviation system design by applying SysML modeling [J]. PROCEEDINGS OF THE 32ND 2020 CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2020), 2020, : 1361 - 1366
- [45] Model-based requirements specification of real-time systems with UML, SysML and MARTE [J]. Software & Systems Modeling, 2018, 17 : 343 - 361
- [47] Complexity assessment using SysML models [J]. 17TH ANNUAL CONFERENCE ON SYSTEMS ENGINEERING RESEARCH (CSER), 2019, 153 : 225 - 232
- [48] A MODEL BASED SYSTEM ENGINEERING WITH FAULT INJECTION USING SYSML [J]. 7TH INTERNATIONAL CONFERENCE INTEGRITY-RELIABILITY-FAILURE (IRF2020), 2020, : 721 - 728
- [49] An approach for model-based risk assessment [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2004, 3219 : 311 - 324