Title: Verification and validation of real-time software
Subjects: Real-time data processing, Validation, Verification, Computer software