"A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety ..."

Ahmed Mohamed Bakr, May Salama, Abdelwahab K. Alsammak (2021)

Details and statistics

DOI: 10.7494/CSCI.2021.22.1.3547

access: open

type: Journal Article

metadata version: 2021-03-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics