Search NASA⌕ Search

DOE OSTI · 1118300

Toward Automatic Decomposition Discovery through High Level Specification Analysis: A Case Study.

Abstract

Abstract not provided.

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hu, Yalin, Hulin, Kevin Joseph. 2012-01-01. Toward Automatic Decomposition Discovery through High Level Specification Analysis: A Case Study.. https://www.osti.gov/biblio/1118300

Cite the original work for its findings. Save a collection to share your selection of sources.