Author:
Farrell Marie,Bradbury Matthew,Fisher Michael,Dennis Louise A.,Dixon Clare,Yuan Hu,Maple Carsten
Publisher
Springer International Publishing
Reference33 articles.
1. Intelligent Transport Systems (ITS): Vehicular Communications, Basic Set of Applications. Part 2: Specification of Cooperative Awareness Basic Service. Standard Draft ETSI EN 302 637–2, European Telecommunications Standards Institute, November 2018. V1.4.0 (2018–08)
2. Back, R.-J.: A calculus of refinements for program derivations. Acta Informatica 25(6), 593–624 (1988)
3. Lecture Notes in Computer Science;M Barnett,2006
4. Ben-Ari, M.: Principles of the Spin model checker. Springer, Cham (2008).
https://doi.org/10.1007/978-1-84628-770-1
5. Bittl, S., Gonzalez, A.A., Myrtus, M., Beckmann, H., Sailer, S., Eissfeller, B.: Emerging attacks on VANET security based on GPS time spoofing. In: IEEE Conference on Communications and Network Security, pp. 344–352. IEEE (2015)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献