Browsing by Author "Elloumi, S."

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 ...