Runtime assurance of aeronautical products : preliminary recommendations / Guillaume Brat, Ganesh Pai.

Authors: Brat, Guillaume

Subject Terms: Cybernetics., Computer systems programs., Artificial intelligence., Aeronautics.

Online Access: https://purl.fdlp.gov/GPO/gpo192084
https://ntrs.nasa.gov/api/citations/20220015734/downloads/tm-rta-guidance.pdf

Technology requirements for advanced earth orbital transportation systems

Authors: Hepler, A. K., Bangsund, E. L., joint author., Langley Research Center., United States. National Aeronautics and Space Administration. Scientific and Technical Information Office.

Access URL: http://hdl.handle.net/2027/uiug.30112101596952

Programming logics : an introduction to verification and semantics

Authors: Gumb, Raymond D.

Access URL: http://hdl.handle.net/2027/mdp.39015062483139

Availability: http://hdl.handle.net/2027/uc1.b4336108

The role of disk scheduling in multiprogrammed computer systems

Authors: Teorey, Toby J.

Access URL: http://hdl.handle.net/2027/wu.89010954154