Author:
Mahadevan Nagabhushan,Dubey Abhishek,Karsai Gabor
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On-the-Fly Repairing of Atomicity Violations in ARINC 653 Software;Applied Sciences;2022-02-15
2. CHARIOT;ACM Transactions on Cyber-Physical Systems;2018-07-18
3. Diagnosis in Cyber-Physical Systems with Fault Protection Assemblies;Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems;2018
4. Functional Mode Analysis of Safety Critical Systems Using Causal Bayesian Networks (CBNs);Emerging Research in Computing, Information, Communication and Applications;2017-11-17
5. Model-Based Design and Automated Validation of ARINC653 Architectures Using the AADL;Cyber-Physical System Design from an Architecture Analysis Viewpoint;2017