Theses and Dissertations
A formal application of safety and risk assessment in software systems
Detecting potential synchronization constraint deadlocks from formal system specifications.
Requirements analysis for a low cost Combat Direction System
The design and implementation of a syntax directed editor for the specification language Spec
A conceptual design of a Software Base Management System for the Computer Aided Prototyping System
A Static Scheduler for critical timing constraints
Refine By:
Advisor
-
Luqi (6)
Author
Branch Of Service
-
Lieutenant Commander, United States Navy (6)
Date Issued
Degree
Department
-
Computer Science (6)