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]
Abstract is missing.