Cover Image

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

Saved in:
Bibliographic Details
Main Authors: Azma, Abdullah, Rohani, Abu Bakar, Gunaratnam, Kiriyadhatshini, Hujainah, Fadhl, Mohd Fairus, Abdul Farid
Format: Conference or Workshop Item
Language:English
English
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!

Internet

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

Similar Items