Login / Signup
Design and Verification of an NDN-Based Safety-Critical Application: A Case Study With Smart Healthcare.
Divya Saxena
Vaskar Raychoudhury
Published in:
IEEE Trans. Syst. Man Cybern. Syst. (2019)
Keyphrases
</>
safety critical
formal methods
case study
embedded systems
safety analysis
decision support
knowledge based systems
support systems
user interface
fault tolerant
regulatory requirements
information systems
management system
nuclear power plant