共 50 条
- [1] Domain Specific Modelling and Language for Safety-Critical and Security-Critical Requirements Engineering [J]. 2022 12TH INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS, SERVICES AND TECHNOLOGIES (DESSERT), 2022,
- [2] Requirements Engineering for Safety-Critical Molecular Programs [J]. 2022 30TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2022), 2022, : 302 - 308
- [3] Implementing a Security Architecture for Safety-Critical Railway Infrastructure [J]. 2021 INTERNATIONAL SYMPOSIUM ON SECURE AND PRIVATE EXECUTION ENVIRONMENT DESIGN (SEED 2021), 2021, : 215 - 226
- [4] Formal Requirements Specification in Safety-critical Railway Signaling System [J]. T& D ASIA: 2009 TRANSMISSION & DISTRIBUTION CONFERENCE & EXPOSITION: ASIA AND PACIFIC, 2009, : 731 - 734
- [5] Requirements Engineering for Safety-Critical Systems: Overview and Challenge [J]. SBES'18: PROCEEDINGS OF THE XXXII BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, 2018, : 10 - 10
- [7] Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report [J]. REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2017, 2017, 10153 : 363 - 369