Verified Hardware/Software Co-Assurance: Enhancing Safety and Security for Critical Systems
Author
David Hardin
Keywords
Software algorithms
Filtering algorithms
Data structures
Hardware
Unmanned aerial vehicles
Software
Safety
Year of Publication
2020
Conference Name
2020 IEEE International Systems Conference (SysCon)
DOI
10.1109/SysCon47679.2020.9381831
Google Scholar | BibTeX | DOI
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.