Publisher
Springer Nature Switzerland
Reference14 articles.
1. ProvenCore: Towards a Verified Isolation Micro-Kernel. Zenodo, January 2015. https://doi.org/10.5281/zenodo.47990
2. Baro, S.: A high availability vital computer for railway applications: architecture & safety principles. In: Embedded Real Time Software and Systems (ERTS2008), Toulouse, France, January 2008. https://hal.archives-ouvertes.fr/hal-02269811
3. Lecture Notes in Computer Science;P Behm,1999
4. Bendovschi, A.: Cyber-attacks - trends, patterns and security countermeasures. Procedia Econ. Finance 28, 24–31 (2015)
5. Cao, Y., Lu, H., Wen, T.: A safety computer system based on multi-sensor data processing. Sensors 19, 818 (2019)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献