Justifying the dependability of computer-based systemsPierre Jacques Courtois · First published 2008Open the Tome
Mathematical computer performance and reliabilityGiuseppe G. Iazeolla, Pierre Jacques Courtois, A. Hordijk · First published 1984Open the Tome