Author:
Rashid Adnan,Siddique Umair,Tahar Sofiène
Publisher
Springer International Publishing
Reference97 articles.
1. (2018).
https://arstechnica.com/tech-policy/2018/05/report-software-bug-led-to-death-in-ubers-self-driving-crash/?amp=1
2. (2020).
https://www.2b1stconsulting.com/cyber-physical-systems-cps/
3. Abbasi, N., Hasan, O., Tahar, S.: An approach for lifetime reliability analysis using theorem proving. J. Comput. Syst. Sci. 80(2), 323–345 (2014)
4. Affeldt, R., Cohen, C.: Formal foundations of 3D geometry to model robot manipulators. In: Certified Programs and Proofs, pp. 30–42. ACM (2017)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);SK Afshar,2014
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献