TY  - JOUR
PY  - 2019//
TI  - Traffic safety needs is pervasive in all geographical markets [connected and automated vehicles]
JO  - IEEE vehicular technology magazine
A1  - Uhlemann, Elisabeth
SP  - 11
EP  - 15
VL  - 14
IS  - 1
N2  - Verifying the performance and correctness of a smart factory is difficult. This is because it is more complicated to verify the functionality of a distributed system than it is to verify a centralized system. Verifying a distributed heterogeneous system such as a factory is even worse. Now imagine that the distributed heterogeneous system has multiple stakeholders, with different, often competing business models. This is the actual situation for connected autonomous vehicles.<p />  <p>Language: en</p>
LA  - en
SN  - 1556-6072
UR  - http://dx.doi.org/10.1109/MVT.2018.2883849
ID  - ref1
ER  -