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...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English English |
| Published: |
Institute of Electrical and Electronics Engineers Inc.
2023
|
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/40356/ 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 |
Internet
http://umpir.ump.edu.my/id/eprint/40356/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