DOE OSTI · 2430841
Automated reasoning technologies will enable a correct-by-construction approach to systems engineering
Abstract
The source did not provide an abstract. Follow the original record for more information.
Keep this discovery
Explore connections, maps & timelines
Mahmood, Raheel. 2023-06-01. Automated reasoning technologies will enable a correct-by-construction approach to systems engineering. https://doi.org/10.2172/2430841
Cite the original work for its findings. Save a collection to share your selection of sources.