共 50 条
- [42] Spatial Functions for Modeling and Analysis of Safety-Critical Systems of Systems 2019 14TH ANNUAL CONFERENCE SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2019, : 352 - 357
- [44] Sim: A Contract-Based Programming Language for Safety-Critical Software 2019 IEEE/AIAA 38TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2019,
- [45] Developing requirements management tool for safety-critical systems 2019 ACTUAL PROBLEMS OF SYSTEMS AND SOFTWARE ENGINEERING (APSSE 2019), 2019, : 50 - 57
- [48] Utilising Redundancy to Enhance Security of Safety-Critical Systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2023 WORKSHOPS, 2023, 14182 : 188 - 196
- [49] A variability modeling and transformation approach for safety-critical systems PROCEEDINGS OF 15TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, VAMOS 2021, 2021,
- [50] Safety-Critical Systems and Agile Development: A Mapping Study 44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018), 2018, : 470 - 477