Browsing Qatar University Institutional Repository by Author "Ibrahim, S. K."
Now showing items 1-1 of 1
-
Fault tolerant approach for verified software: Case of natural gas purification simulator
Ibrahim, S. K.; Boulifa, B.; Jaoua, A.; Elloumi, S.; Saleh, M.; Van Den Broeke, L. J.P.; Abu-Reesh, I. M.... more authors ... less authors (2013 , Conference Paper)Well logically verified and tested software may fail because of undesired physical phenomena provoking transient faults during its execution. While being the most frequent kind of faults, transient faults are difficult to ...