DOE OSTI · 1897880
Formal Methods-based Certification Frameworks for Scientific Computing Applications.
Abstract
Abstract not provided.
Keep this discovery
Explore connections, maps & timelines
Hulette, Geoffrey, Bender, John, Pollard, Samuel, Thornquist, Heidi, Kellison, Ariel. 2021-10-01. Formal Methods-based Certification Frameworks for Scientific Computing Applications.. https://www.osti.gov/biblio/1897880
Cite the original work for its findings. Save a collection to share your selection of sources.