Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Defense Science and Technology"”.
-
An automata-based automatic verification environment
… for reliable tools to help construct, analyze, and verify such systems also continues to grow. The basic motivation of this work is to build such a formal verification environment for computer-based systems. An example of such a tool is the Design Oriented Verification and Evaluation (DOVE) …
-
Critical Technologies: The United States Department of Defense Efforts to Shape Technology Development After the Cold War - A Discourse and Network Analysis
Each year the Department of Defense spends over $10 billion on its science and technology development efforts. While deemed an investment by proponents (and beneficiaries) technology development programs are particularly vulnerable in times of budget cuts. As the government moves forward with …