共 50 条
- [1] Safety Analysis of Train Control System Based on Colored Petri Nets and System-Theoretic Process Analysis [J]. PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ELECTRICAL AND INFORMATION TECHNOLOGIES FOR RAIL TRANSPORTATION (EITRT) 2017: TRANSPORTATION, 2018, 483 : 175 - 184
- [2] System-Theoretic Process Analysis Based on SysML/MARTE and NuSMV [J]. APPLIED SCIENCES-BASEL, 2022, 12 (03):
- [3] PASTA: Pragmatic Automated System-Theoretic Process Analysis [J]. 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, DSN, 2023, : 559 - 567
- [4] A Software Safety Verification Method Based on System-Theoretic Process Analysis [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2014, 8696 : 401 - 412
- [6] A System-Theoretic Approach to Modeling and Analysis of Mammography Testing Process [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2016, 46 (01): : 126 - 138
- [8] A System-theoretic Privacy-informed Framework in Multi-agent Systems [J]. 2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 5079 - 5084
- [9] Exploratory Study of the Privacy Extension for System Theoretic Process Analysis (STPA-Priv) to elicit Privacy Risks in eHealth [J]. 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), 2017, : 90 - 96