System verification : proving the design solution satisfies the requirements /Author: Grady, Jeffrey O.,
Publisher: London : Academic Press, an imprint of Elsevier,
Date: [2016] This title can be found in 1 Iowa libraries.
Heuristic search : theory and applications /Author: Edelkamp, Stefan.
Publisher: Amsterdam ; Morgan Kaufmann,
Date: c 2012. This title can be found in 1 Iowa libraries.
System verification : proving the design solution satisfies the requirements /Author: Grady, Jeffrey O.
Publisher: Boston : Boston : Elsevier/Academic Press,
Date: c2007. This title can be found in 2 Iowa libraries.
Rective system verification study--fault-tolerant transputer communicationFormat: [microform] /
Author: Crane, D. Francis.
Publisher: [Springfield, Va. : National Technical Information Service, distributor, [Springfield, Va. : National Technical Information Service, distributor,
Date: 1993] This title can be found in 2 Iowa libraries.
Expert system verification and validation study : ES V&V workshop /Author: French, Scott.
Publisher: [Houston, Tex.?] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake,
Date: [1992] This title can be found in 1 Iowa libraries.
Expert system verification and validation study : ES V&V guidelines/workshop conference summary /Author: French, Scott.
Publisher: [Houston, Tex.?] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ;
Date: [1992] This title can be found in 1 Iowa libraries.
Expert system verification and validation study final report /Format: [microform] :
Author: French, Scott W.
Publisher: [Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ;
Date: 1992] This title can be found in 1 Iowa libraries.
Expert system verification and validation study final report /Format: [microform] :
Author: French, Scott W.
Publisher: [Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ;
Date: 1992] This title can be found in 1 Iowa libraries.
Expert System verification and validation study. delivery 2, delivery 2,Format: [microform] /
Publisher: [Houston, Tex.] : NASA Johnson Space Center, Information Systems Directorate, Information Technology Division, [Houston, Tex.] : NASA Johnson Space Center, Information Systems Directorate, Information Technology Division,
Date: [1991] This title can be found in 1 Iowa libraries.
Expert System verification and validation survey. Delivery 5 revised final report /Format: [microform] :
Publisher: [Houston, Tex.] : NASA Johnson Space Center, Information Systems Directorate, Information Technology Division, [Houston, Tex.] : NASA Johnson Space Center, Information Systems Directorate, Information Technology Division,
Date: [1990] This title can be found in 1 Iowa libraries.
Expert System verification and validation survey : delivery 2 : survey results /Publisher: [Clear Lake City, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ;
Date: [1990] This title can be found in 1 Iowa libraries.
Expert System verification and validation survey : delivery 3 : recommendations /Publisher: [Houston, Tex.] : NASA Johnson Space Center, Information Systems Directorate, Information Technology Division ;
Date: [1990] This title can be found in 1 Iowa libraries.
Expert System verification and validation study delivery 1 : survey and interview questions /Format: [microform] :
Publisher: [Springfield, Va. : National Technical Information Service, distributor, [Houston, Tex.] : NASA Johnson Space Center, Information Systems Directorate, Information Technology Division ; [Springfield, Va. : National Technical Information Service, distributor,
Date: 1990] This title can be found in 1 Iowa libraries.
Expert System verification and validation study : phase 2, requirements identification : delivery 1, updated survey report /Publisher: [Clear Lake City, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ;
Date: [1990] This title can be found in 1 Iowa libraries.
Advanced NSTS propulsion system verification study : final report /Publisher: Huntsville, Ala.? : Rockwell International, Space Transportation Systems Division, Huntsville Operations,
Date: [1989] This title can be found in 1 Iowa libraries.
YOU MAY BORROW ITEMS YOU FIND IN THE SILO LOCATOR THROUGH YOUR
LOCAL PUBLIC LIBRARY.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.