Safety property attributes in critical systems for requirement specification : A review

The integration of critical system components, requirement specification, and safety properties plays a crucial role in advancing the development and verification processes of critical systems. This integration enables effective analysis, management of safety requirements, and identification of pote...

Full description

Bibliographic Details

Main Authors:	Azma, Abdullah, Rohani, Abu Bakar, Gunaratnam, Kiriyadhatshini, Hujainah, Fadhl, Mohd Fairus, Abdul Farid
Format:	Conference or Workshop Item
Language:	en en
Published:	Institute of Electrical and Electronics Engineers Inc. 2023
Subjects:	QA75 Electronic computers. Computer science QA76 Computer software T Technology (General) TA Engineering (General). Civil engineering (General)
Online Access:	http://umpir.ump.edu.my/id/eprint/40356/1/Safety%20property%20attributes%20in%20critical%20systems.pdf http://umpir.ump.edu.my/id/eprint/40356/2/Safety%20property%20attributes%20in%20critical%20systems%20for%20requirement%20specification_A%20review_ABS.pdf http://umpir.ump.edu.my/id/eprint/40356/ https://doi.org/10.1109/ICSECS58457.2023.10256294
Tags:	Add Tag No Tags, Be the first to tag this record!