A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems

Ahmed Mohamed Bakr, May Salama, Abdelwahab K. Alsammak. A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems. Computer Science (AGH), 22(1), 2021. [doi]

Abstract

Abstract is missing.