Development of new functionality and smart systems for different types of vehicles is accelerating with the advent of new emerging technologies such as connecte

Modern vehicles are complex systems. Different design stages for such a complex system include evaluation using models and submodels, hardware-in-the-loop syste

Effective use of driving simulators requires considerable technical and methodological skill along with considerable background knowledge. Acquiring the requisi

Driving an emergency vehicle can be difficult. The driver of the emergency vehicle must navigate, communicate with emergency services, often drive at high speed

There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of p