Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano. Modeling and generation of secure component communications in AUTOSAR. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 1473-1480, ACM, 2017. [doi]
@inproceedings{BernardeschiNDV17,
title = {Modeling and generation of secure component communications in AUTOSAR},
author = {Cinzia Bernardeschi and Marco Di Natale and Gianluca Dini and Dario Varano},
year = {2017},
doi = {10.1145/3019612.3019682},
url = {http://doi.acm.org/10.1145/3019612.3019682},
researchr = {https://researchr.org/publication/BernardeschiNDV17},
cites = {0},
citedby = {0},
pages = {1473-1480},
booktitle = {Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017},
editor = {Ahmed Seffah and Birgit Penzenstadler and Carina Alves and Xin Peng},
publisher = {ACM},
isbn = {978-1-4503-4486-9},
}