Login / Signup
Safety Property Attributes in Critical Systems for Requirement Specification: A Review.
Azma Abdullah
Rohani Abu Bakar
Kiriyadhatshini Gunaratnam
Fadhl Hujainah
Mohd Fairus Abdul Farid
Published in:
ICSECS (2023)
Keyphrases
</>
complex systems
information retrieval
information systems
expert systems
hidden markov models
management system
data warehouse
attribute values
formal methods
safety critical
intelligent vehicles