%0 Conference Paper %1 conf/vnc/FarzanehSK16 %A Farzaneh, Morteza Hashemi %A Shafaei, Sina %A Knoll, Alois C. %B VNC %D 2016 %I IEEE %K dblp %P 1-4 %T Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming. %U http://dblp.uni-trier.de/db/conf/vnc/vnc2016.html#FarzanehSK16 %@ 978-1-5090-5197-7

@inproceedings{conf/vnc/FarzanehSK16, added-at = {2022-10-02T00:00:00.000+0200}, author = {Farzaneh, Morteza Hashemi and Shafaei, Sina and Knoll, Alois C.}, biburl = {https://www.bibsonomy.org/bibtex/23413f8aa979c01c49dca882bcbd542c8/dblp}, booktitle = {VNC}, crossref = {conf/vnc/2016}, ee = {https://doi.org/10.1109/VNC.2016.7835941}, interhash = {53be42ef43a45b53b8d8096e2f609f0c}, intrahash = {3413f8aa979c01c49dca882bcbd542c8}, isbn = {978-1-5090-5197-7}, keywords = {dblp}, pages = {1-4}, publisher = {IEEE}, timestamp = {2024-04-10T05:53:16.000+0200}, title = {Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming.}, url = {http://dblp.uni-trier.de/db/conf/vnc/vnc2016.html#FarzanehSK16}, year = 2016 }