Software verification and validation of safe autonomous cars: A systematic literature review

N Rajabli, F Flammini, R Nardone, V Vittorini - IEEE Access, 2020 - ieeexplore.ieee.org
Autonomous, or self-driving, cars are emerging as the solution to several problems primarily
caused by humans on roads, such as accidents and traffic congestion. However, those …

A review on cybersecurity in railways

R Kour, A Patwardhan, A Thaduri… - Proceedings of the …, 2023 - journals.sagepub.com
Digitalisation is transforming the railway globally. One of the major considerations in digital
transformation of any industry including the railway is the increased exposure to …

[PDF][PDF] Software Verification and Validation of Safe Autonomous Cars: A Systematic

R NARDONE, V VITTORINI - researchgate.net
Autonomous, or self-driving, cars are emerging as the solution to several problems primarily
caused by humans on roads, such as accidents and traffic congestion. However, those …