View of Specification and Automated Verification of Real-Time Behaviour —A Case Study

Return to Article Details Specification and Automated Verification of Real-Time Behaviour —A Case Study Download Download PDF