Výsledky vyhledávání
- Software for Computer Based Systems Important to Safety in Nuclear Power Plants : Safety Guide . Vienna : IAEA, 2000 . 89 s . ISBN 92-0-101800-2 . [2, z toho volných 2]
kniha
- Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control . Vienna : IAEA, 1999 . 126 s . ISBN 92-0-100799-X . [1, z toho volných 1]
kniha
- Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Survey and Assessment of Conventional Software Verification and Validation Methods / L.A. MILLER, E.H. GROUNDWATER, S.M. MIRSKY . Washington : U.S. Nuclear Regulatory Commission, 1995 . 99 s . [1, z toho volných 1]
kniha
- Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Validation Scenarios / L.A. MILLER, J.E. HEYES, S.M. MIRSKY . Washington : U.S. Nuclear Regulatory Commission, 1995 . 45 s . [1, z toho volných 1]
kniha
- Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Bibliography / L.A. MILLER, J.E. HEYES, S.M. MIRSKY . Washington : U.S. Nuclear Regulatory Commission, 1995 . 48 s . [1, z toho volných 1]
kniha
- Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Rationale and Description of V&V Guideline Packages and Procedures / L.A. MILLER, J.E. HEYES, S.M. MIRSKY . Washington : U.S. Nuclear Regulatory Commission, 1995 . 90 s . [1, z toho volných 1]
kniha
- Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Survey and Assessment of Conventional Software Verification and Validation Methods / L.A. MILLER, E.H. GROUNDWATER, J.E. HAYES, S.M. MIRSKY . Washington : U.S. Nuclear Regulatory Commission, 1995 . 175 s . [1, z toho volných 1]
kniha
- Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Evaluation of Knowledge Base Certification Methods / L.A. MILLER, J.E. HEYES, S.M. MIRSKY . Washington : U.S. Nuclear Regulatory Commission, 1995 . 121 s . [1, z toho volných 1]
kniha
- Guidelines for the Verification and Validation of Expert System Software and Conventional Software : User's Manual / L.A. MILLER, J.E. HEYES, S.M. MIRSKY . Washington : U.S. Nuclear Regulatory Commission, 1995 . Nestr . [1, z toho volných 1]
kniha
- Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Project Summary / L.A. MILLER, J.E. HAYES, S.M. MIRSKY . Washington : U.S. Nuclear Regulatory Commission, 1995 . 157 s . [1, z toho volných 1]
kniha