National Research Council, Division on Engineering and Physical Sciences, Computer Science and Telecommunications Board, "Software for Dependable Systems: Sufficient Evidence?" English | 2007 | pages: 149 | ISBN: 0309103940 | PDF | 1,0 mb
Dependable Computing by Ravishankar K. Iyer, Zbigniew T. Kalbarczyk, Nithin M. Nakka English | 2024 | ISBN: 1118709446 | 851 pages | True PDF EPUB | 31.51 MB