![](/img/cover-not-exists.png)
[IEEE 2016 IEEE Vehicular Networking Conference (VNC) - Columbus, OH, USA (2016.12.8-2016.12.10)] 2016 IEEE Vehicular Networking Conference (VNC) - Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming
Farzaneh, Morteza Hashemi, Shafaei, Sina, Knoll, AloisYear:
2016
Language:
english
DOI:
10.1109/VNC.2016.7835941
File:
PDF, 325 KB
english, 2016