[IEEE 2017 12th International Conference on Computer Engineering and Systems (ICCES) - Cairo, Egypt (2017.12.19-2017.12.20)] 2017 12th International Conference on Computer Engineering and Systems (ICCES) - Hazard analysis of real-time safety critical systems using hierarchical communicating real-time state machines formal model
Bakr, Ahmed M., Fouda, Mostafa M., Salama, May, Alsammak, Abdelwahab K., Yahia, HossamYear:
2017
Language:
english
DOI:
10.1109/ICCES.2017.8275381
File:
PDF, 218 KB
english, 2017