Formal analysis of the startup delay of SOME/IP service discovery

Jan R. Seyler, Thilo Streichert, Michael Glaß, Nicolas Navet, Jürgen Teich. Formal analysis of the startup delay of SOME/IP service discovery. In Wolfgang Nebel, David Atienza, editors, Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015. pages 49-54, ACM, 2015. [doi]

Abstract

Abstract is missing.