Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming

Title:: Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming
Author(s):: Farzaneh, Morteza Hashemi; Shafaei, Sina; Knoll, Alois
Book / Congress title:: 2016 IEEE Vehicular Networking Conference (VNC)
Publisher:: IEEE
Date of publication:: 01.12.2016
Year:: 2016
Print-ISBN:: 9781509051977
Fulltext / DOI:: doi:10.1109/vnc.2016.7835941
BibTeX

Occurrences: