Theses and Dissertations
A methodology for developing timing constraints for the Ballistic Missile Defense System
Ada implementation of concurrent execution of multiple tasks in the strategic and tactical levels of the rational behavior model for the NPS Phoenix Autonomous Underwater Vehicle (AUV)
Refine By:
Advisor
-
Shing, Man-Tak (2)
Author
Branch Of Service
-
Commander, United States Navy (2)
Date Issued
Degree
Department
-
Computer Science (2)