DOE OSTI · 2585099
Q Framework: Enables Automated Reasoning & Increases Digital Assurance of Embedded Controller Software
Abstract
The source did not provide an abstract. Follow the original record for more information.
Keep this discovery
Explore connections, maps & timelines
Armstrong, Robert Claude. 2024-04-01. Q Framework: Enables Automated Reasoning & Increases Digital Assurance of Embedded Controller Software. https://doi.org/10.2172/2585099
Cite the original work for its findings. Save a collection to share your selection of sources.