Jump to main content

yr 〜
yr

Search results 8

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.S. Nuclear Reg...

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: 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: SURVEY AND DOCUMENTATION OF EXPERT SYSTEM VERIFICATION AND VALIDATION METHODOLOGIES. VOLUME 3. (NUREG ; NUREG/CR-6316-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 ; NUREG/CR-6316-VOL.3)
Paper図書
GROUNDWATER, E.H.NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1995.
Other Libraries in Japan
  • Author HeadingGROUNDWATER, E.H.

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 (SAIC ; 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 (SAIC ; SAIC-95/1028-VOL.3)
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
  • Author HeadingGroundwater, E.H. Miller, L.A. Mirsky, S.M.

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 (SAIC ; 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 (SAIC ; SAIC-95/1028-VOL.2)
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
  • Author HeadingGroundwater, E.H. Hayes, J.E. Miller, L.A. M...

Reactor Emergency Action Level Monitor Expert-System Prototype; Independent Review Volume 3 (EPRI ; EPRI-NP-5719-Vol.3)

Reactor Emergency Action Level Monitor Expert-System Prototype; Independent Review Volume 3 (EPRI ; EPRI-NP-5719-Vol.3)
Paper図書
Groundwater, E.H./Blanks, M.W.Electric Power Research Institute(Electric Power Research Institute)1988.
Other Libraries in Japan
  • Author HeadingGroundwater, E.H. Blanks, M.W.

Approaches to the Verification and Validation of Expert Systems for Nuclear Power Plants (EPRI ; EPRI-NP-5236)

Approaches to the Verification and Validation of Expert Systems for Nuclear Power Plants (EPRI ; EPRI-NP-5236)
Paper図書
Groundwater, E.H./Donnell, M.L.Electric Power Research Institute(Electric Power Research Institute)1987.
Other Libraries in Japan
  • Author HeadingGroundwater, E.H. Donnell, M.L.

Reached to the end of result.

RSS