Proving High-Consequence Digital Controls: Specification to Implementation
Explore the source record for details and available documents.
Armstrong, Robert Claude↗
Engineering topics
Armstrong, Robert Claude
Publications and source records attributed to Armstrong, Robert Claude.
Q Framework: Enables Automated Reasoning & Increases Digital Assurance of Embedded Controller Software
Explore the source record for details and available documents.
Armstrong, Robert Claude↗