Showing 1 - 8 results of 8 for search '"University of Houston–Clear Lake"', query time: 0.10s Refine Results
  1. 1
    An overview of SAFENET and its implications for aerospace applications

    An overview of SAFENET and its implications for aerospace applications by Collins, George C.

    [Clear Lake City, Tex.] : [Houston, Tex.] Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; NASA Johnson Space Center, Engineering Directorate, Flight Data Systems Division, 1991
    “…Technical report / University of Houston-Clear Lake, Research Institute for Computing and Information Systems.…”
    Format: Government Document Book


    Save to List
    Saved in:
  2. 2
    An overview of SAFENET and its implications for aerospace applications

    An overview of SAFENET and its implications for aerospace applications by Collins, George C.

    [Clear Lake City, Tex.] : [Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; NASA Johnson Space Center, Engineering Directorate, Flight Data Systems Division, 1991
    “…Technical report / University of Houston-Clear Lake, Research Institute for Computing and Information Systems…”
    Format: Government Document Book


    Save to List
    Saved in:
  3. 3
    Software engineering ethics

    Software engineering ethics by Bown, Rodney L.

    [Clear Lake City, Tex.] : [Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; NASA Johnson Space Center, Engineering Directorate, Flight Data Systems Division, 1991
    Format: Government Document Book


    Save to List
    Saved in:
  4. 4
    Discrete mathematics, formal methods, the Z schema, and the software life cycle

    Discrete mathematics, formal methods, the Z schema, and the software life cycle by Bown, Rodney L.

    [Clear Lake City, Tex.] : [Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; NASA Johnson Space Center, Engineering Directorate, Flight Data Systems Division, 1991
    Format: Government Document Book


    Save to List
    Saved in:
  5. 5
    Review of Estelle and LOTOS with respect to critical computer applications

    Review of Estelle and LOTOS with respect to critical computer applications by Bown, Rodney L.

    [Clear Lake City, Tex.] : [Houston, Tex.] : [Springfield, Va. : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; NASA Johnson Space Flight Center, Engineering Directorate, Flight Data Systems Division ; National Technical Information Service, distributor, 1991
    Format: Government Document Book


    Save to List
    Saved in:
  6. 6
    Discrete mathematics, formal methods, the Z schema, and the software life cycle

    Discrete mathematics, formal methods, the Z schema, and the software life cycle by Bown, Rodney L.

    [Clear Lake City, Tex.] : [Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; NASA Johnson Space Center, Engineering Directorate, Flight Data Systems Division, 1991
    Format: Government Document Book


    Save to List
    Saved in:
  7. 7
    Software engineering ethics

    Software engineering ethics by Bown, Rodney L.

    [Clear Lake City, Tex.] : [Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; NASA Johnson Space Center, Engineering Directorate, Flight Data Systems Division, 1991
    Format: Government Document Book


    Save to List
    Saved in:
  8. 8
    Review of Estelle and LOTOS with respect to critical computer applications

    Review of Estelle and LOTOS with respect to critical computer applications by Bown, Rodney L.

    [Clear Lake City, Tex.] : [Houston, Tex.] : [Springfield, Va.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; NASA Johnson Space Flight Center, Engineering Directorate, Flight Data Systems Division ; [National Technical Information Service, distributor], 1991
    Format: Government Document Book


    Save to List
    Saved in:

Search Tools: