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

Titel:: Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming
Autor(en):: Farzaneh, Morteza Hashemi; Shafaei, Sina; Knoll, Alois
Kongress- / Buchtitel:: 2016 IEEE Vehicular Networking Conference (VNC)
Verlag / Institution:: IEEE
Publikationsdatum:: 01.12.2016
Jahr:: 2016
Print-ISBN:: 9781509051977
Volltext / DOI:: doi:10.1109/vnc.2016.7835941
BibTeX

Vorkommen: