Azma Abdullah, Rohani Abu Bakar, Kiriyadhatshini Gunaratnam, Fadhl Hujainah, Mohd Fairus Abdul Farid. Safety Property Attributes in Critical Systems for Requirement Specification: A Review. In 8th IEEE International Conference On Software Engineering and Computer Systems, ICSECS 2023, Penang, Malaysia, August 25-27, 2023. pages 481-486, IEEE, 2023. [doi]
Abstract is missing.