Systems Engineering

Research Frontiers in Temporal and Timing Requirements in Real-Time Systems

Methods for specifying, modeling, and verifying timing constraints and temporal properties in safety-critical real-time engineered systems.

All Systems Engineering PhD categories