A Formal Model to Facilitate Security Testing in Modern Automotive Systems
E. dos Santos‚ D. Schoop and A. C. Simpson
Book Title
Proceedings of FM&&MDD 2017
Year
2017
E. dos Santos‚ D. Schoop and A. C. Simpson