Search Results - "Digital I&C"

Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6

    Source: Helminen , A & Pakonen , A 2020 , Potential applications of model checking in probabilistic risk assessments . VTT Research Report , no. VTT-R-00017-20 , VTT Technical Research Centre of Finland .

    File Description: application/pdf

  7. 7

    Contributors: Enrico Zio Francesco Di Maio Wei Wang et al.

    Source: Annals of Nuclear Energy. 95:135-147

    File Description: application/pdf

  8. 8

    Contributors: Hunter, Bryan [Analysis & Measurement Services Corporation, Knoxville, TN (United States)]

    File Description: Medium: ED; Size: 195 p.

  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20