Published in
2016 IEEE Vehicular Networking Conference (VNC)
Links
Tools
Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 