- Tytuł:
- Hierarchical state machine model for analyzing safety hazards in real-time systems
- Autorzy:
-
Bakr, Ahmed M.
Salama, May
Alsammak, Abdelwahab K. - Data publikacji:
- 2021
- Słowa kluczowe:
-
fault tree analysis
hazard analysis
static code analysis
CLANG
HCRSM
ANSI-C
safety critical real-time systems - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł