Login / Signup
Discovering Hazards in IoT Architectures: A Safety Analysis Approach for Medical Use Cases.
Fryad Khalid M. Rashid
Osman Sharif Osman
Ethan T. McGee
Haider Raad
Published in:
IEEE Access (2023)
Keyphrases
</>
safety analysis
management system
control system
nuclear power plant
safety critical
symbolic model checking
fault model
fault tolerant
medical diagnosis
medical data
information systems
health information