Return to Article Details
A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems
Download
Download PDF