共 50 条
- [2] Verifying Security Requirements using Model Checking Technique for UML-Based Requirements Specification 2014 IEEE 1ST INTERNATIONAL WORKSHOP ON REQUIREMENTS ENGINEERING AND TESTING (RET), 2014, : 18 - 25
- [3] Duration calculus in the specification of safety requirements FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 103 - 112
- [5] Software requirements specification and system safety RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 264 - 264
- [6] Security Requirements Specification: A Formal Method Perspective PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM-2020), 2019, : 113 - 117
- [7] The integration of safety and security requirements COMPUTER SAFETY, RELIABILITY AND SECURITY, 1999, 1698 : 468 - 480
- [8] A review on security requirements specification by formal methods CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2022, 34 (05):
- [9] Specification of safety and reliability requirements for control systems 1996, Oxford Univ Press, Oxford, United Kingdom (01):
- [10] Safety requirements specification on open distributed systems SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 320 - 326