Using formal methods to enable more secure vehicles

By Kathleen Fisher. 2014

24 citations recorded by the source corpus.

Subfields: Biomedical Engineering, Electrical and Electronic Engineering, Hardware and Architecture, Safety, Robustness & Interpretability, Program Analysis & Verification