Software Engineering

Research Frontiers in Real-Time Systems and Timing Verification

Investigation of methods for guaranteeing timing constraints, analyzing schedulability, and verifying real-time properties in safety-critical systems.

All Software Engineering PhD categories