Jump to main content

yr 〜
yr

Search results 50

Accelerator production of tritium authorization basis strategy SAND-96-1078C DE96 010749 CONF-96061148

Accelerator production of tritium authorization basis strategy SAND-96-1078C DE96 010749 CONF-96061148
Microform規格・テクニカルリポート類
Miller, L. A, Edwards, J, Rose, S1996<LS-DE96/010749>
National Diet Library

Accelerator Production of Tritium Programmatic Environmental Impact Statement Input Submittal SAND-93-2094 DE96 006447

Accelerator Production of Tritium Programmatic Environmental Impact Statement Input Submittal SAND-93-2094 DE96 006447
Microform規格・テクニカルリポート類
Miller, L. A, Greene, G. A, Boyack, B. E1996<LS-DE96/006447>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: Bibliography. Volume 8 NUREG/CR-6316-Vol.8 TI95 010257 SAIC-95/1028-Vol.8

Guidelines for the verification and validation of expert system software and conventional software: Bibliography. Volume 8 NUREG/CR-6316-Vol.8 TI95 010257 SAIC-95/1028-Vol.8
Microform規格・テクニカルリポート類
Mirsky, S. M, Hayes, J. E, Miller, L. A1995<LS-TI95/010257>
National Diet Library

Safety of spallation sources in the accelerator production of tritium LA-UR-96-1980 DE96 014036 CONF-96110316

Safety of spallation sources in the accelerator production of tritium LA-UR-96-1980 DE96 014036 CONF-96110316
PaperMicroform規格・テクニカルリポート類
Edwards, J, Lowrie, B, Miller, L. A, Rose, S, Schweitzer, E1996<LS-DE96/014036>
National Diet LibraryOther Libraries in Japan

Guidelines for the verification and validation of expert system software and conventional software: Evaluation of knowledge base certification methods. Volume 4 NUREG/CR-6316-Vol.4 TI95 010247 SAIC-95/1028-Vol.4

Guidelines for the verification and validation of expert system software and conventional software: Evaluation of knowledge base certification methods. Volume 4 NUREG/CR-6316-Vol.4 TI95 010247 SAIC-95/1028-Vol.4
Microform規格・テクニカルリポート類
Hayes, J. E, Miller, L. A, Mirsky, S. M1995<LS-TI95/010247>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: Project summary. Volume 1 NUREG/CR-6316-Vol.1 TI95 010250 SAIC-95/1028-Vol.1

Guidelines for the verification and validation of expert system software and conventional software: Project summary. Volume 1 NUREG/CR-6316-Vol.1 TI95 010250 SAIC-95/1028-Vol.1
Microform規格・テクニカルリポート類
Milsky, S. M, Hayes, J. E, Miller, L. A1995<LS-TI95/010250>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2 NUREG/CR-6316-Vol.2 TI95 010249 SAIC-95/1028-Vol.2

Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2 NUREG/CR-6316-Vol.2 TI95 010249 SAIC-95/1028-Vol.2
Microform規格・テクニカルリポート類
Mirsky, S. M, Groundwater, E. H, Hayes, J. E, Miller, L. A1995<LS-TI95/010249>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: Rationale and description of V&V guideline packages and procedures. Volume 5 NUREG/CR-6316-Vol.5 TI95 010255 SAIC-95/1028-Vol.5

Guidelines for the verification and validation of expert system software and conventional software: Rationale and description of V&V guideline packages and procedures. Volume 5 NUREG/CR-6316-Vol.5 TI95 010255 SAIC-95/1028-Vol.5
Microform規格・テクニカルリポート類
Mirsky, S. M, Hayes, J. E, Miller, L. A1995<LS-TI95/010255>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: Validation scenarios. Volume 6 NUREG/CR-6316-Vol.6 TI95 010254 SAIC-95/1028-Vol.6

Guidelines for the verification and validation of expert system software and conventional software: Validation scenarios. Volume 6 NUREG/CR-6316-Vol.6 TI95 010254 SAIC-95/1028-Vol.6
Microform規格・テクニカルリポート類
Mirsky, S. M, Hayes, J. E, Miller, L. A1995<LS-TI95/010254>
National Diet Library

Probabilictic accident consequence uncertainty analysis: Dispersion and deposition uncertainty assessment. Volume 3, Appendices C, D, E, F, and G NUREG/CR-6244-Vol.3 TI95 007172 EUR-15855EN-Vol.3 SAND-94-1453-Vol.3

Probabilictic accident consequence uncertainty analysis: Dispersion and deposition uncertainty assessment. Volume 3, Appendices C, D, E, F, and G NUREG/CR-6244-Vol.3 TI95 007172 EUR-15855EN-Vol.3 SAND-94-1453-Vol.3
Microform規格・テクニカルリポート類
Harper, F. T, Young, M. L, Miller, L. A1995<LS-TI95/007172>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: Survey and documentation of expert system verification and validation methodologies. Volume 3 NUREG/CR-6316-Vol.3 TI95 010248 SAIC-95/1028-Vol.3

Guidelines for the verification and validation of expert system software and conventional software: Survey and documentation of expert system verification and validation methodologies. Volume 3 NUREG/CR-6316-Vol.3 TI95 010248 SAIC-95/1028-Vol.3
Microform規格・テクニカルリポート類
Groundwater, E. H, Miller, L. A, Mirsky, S. M1995<LS-TI95/010248>
National Diet Library

Guidelines for the verification and validation of expert system software and conventional software: User's manual. Volume 7 NUREG/CR-6316-Vol.7 TI95 010256 SAIC-95-1028-Vol.7

Guidelines for the verification and validation of expert system software and conventional software: User's manual. Volume 7 NUREG/CR-6316-Vol.7 TI95 010256 SAIC-95-1028-Vol.7
Microform規格・テクニカルリポート類
Mirsky, S. M, Hayes, J. E, Miller, L. A1995<LS-TI95/010256>
National Diet Library

Probabilistic accident consequence uncertainty analysis: Dispersion and deposition uncertainty assessment, appendices A and B NUREG/CR-6244-Vol.2 TI95 007171 EUR-15855EN-Vol.2 SAND-94-1453-Vol.2

Probabilistic accident consequence uncertainty analysis: Dispersion and deposition uncertainty assessment, appendices A and B NUREG/CR-6244-Vol.2 TI95 007171 EUR-15855EN-Vol.2 SAND-94-1453-Vol.2
Microform規格・テクニカルリポート類
Harper, F. T, Young, M. L, Miller, L. A, Hora, S. C, Lui, C. H, Goosens, I. H. J, cooke, R. M, Paesler-Sauer, J, Helton, J1995<LS-TI95/007171>
National Diet Library

Survey and assessment of conventional software verification and validation methods [microform] / prepared by L.A. Miller, E. Groundwater, S.M. Mirsky (EPRI TR ; 102106)

Survey and assessment of conventional software verification and validation methods [microform] / prepared by L.A. Miller, E. Groundwater, S.M. Mirsky (EPRI TR ; 102106)
Microform図書
1993<YCA-Y 3.N 88:25/6018>
National Diet Library
  • Author HeadingMiller, L. A Groundwater, E Mirsky, S. M U...

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: BIBLIOGRAPHY. VOLUME 8. (NUREG ; NUREG/CR-6316-VOL.8)

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: BIBLIOGRAPHY. VOLUME 8. (NUREG ; NUREG/CR-6316-VOL.8)
Paper図書
MILLER, L.A.(et al.)NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1995.
Other Libraries in Japan

ACCELERATOR PRODUCTION OF TRITIUM PROGRAMMATIC ENVIRONMENTAL IMPACT STATEMENT INPUT SUBMITTAL (SAND ; SAND-93-2094)

ACCELERATOR PRODUCTION OF TRITIUM PROGRAMMATIC ENVIRONMENTAL IMPACT STATEMENT INPUT SUBMITTAL (SAND ; SAND-93-2094)
Paper図書
MILLER, L.A.// GREENE, G.A.// BOYACK, B.E. (SANDIA NATIONAL LABS., ALBUQUERQUE, NM (UNITED STATES))Sandia National Laboratories(Sandia National Laboratories)1996.
Other Libraries in Japan

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: EVALUATION OF KNOWLEDGE BASE CERTIFICATION METHODS. VOLUME 4. (NUREG ; NUREG/CR-6316-VOL.4)

GUIDELINES FOR THE VERIFICATION AND VALIDATION OF EXPERT SYSTEM SOFTWARE AND CONVENTIONAL SOFTWARE: EVALUATION OF KNOWLEDGE BASE CERTIFICATION METHODS. VOLUME 4. (NUREG ; NUREG/CR-6316-VOL.4)
Paper図書
MILLER, L.A.NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1995.
Other Libraries in Japan

ACCELERATOR PRODUCTION OF TRITIUM AUTHORIZATION BASIS STRATEGY (SAND ; SAND-96-1078C)

ACCELERATOR PRODUCTION OF TRITIUM AUTHORIZATION BASIS STRATEGY (SAND ; SAND-96-1078C)
Paper図書
MILLER, L.A.// EDWARDS, J.// ROSE, S. (SANDIA NATIONAL LABS., ALBUQUERQUE, NM (UNITED STATES))Sandia National Laboratories(Sandia National Laboratories)1996.
Other Libraries in Japan

Guidelines for the verification and validation of expert system software and conventional software: Evaluation of knowledge base certification methods. Volume 4 (SAIC ; SAIC-95/1028-VOL.4)

Guidelines for the verification and validation of expert system software and conventional software: Evaluation of knowledge base certification methods. Volume 4 (SAIC ; SAIC-95/1028-VOL.4)
Paper図書
Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States)(Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States))1995.
Other Libraries in Japan

Guidelines for the verification and validation of expert system software and conventional software: Bibliography. Volume 8 (SAIC ; SAIC-95/1028-VOL.8)

Guidelines for the verification and validation of expert system software and conventional software: Bibliography. Volume 8 (SAIC ; SAIC-95/1028-VOL.8)
Paper図書
Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States)(Nuclear Regulatory Commission, Washington, DC (United States). Div. of Systems Technology; Electric Power Research Inst., Palo Alto, CA (United States). Nuclear Power Div.; Science Applications International Corp., McLean, VA (United States). Funding organisation: Nuclear Regulatory Commission, Washington, DC (United States); Electric Power Research Inst., Palo Alto, CA (United States))1995.
Other Libraries in Japan
RSS