Search Results

Matching Records: 7,986
1 2 3 4 5 6 7 8 9 10 Next >>
Sort Results By:
Selected   › View Selected  /  › Clear Selected
Proceedings of the First NASA Formal Methods Symposium
Document ID: 20100024454
NTRS Full-Text: Click to View  [PDF Size: 3.3 MB]
Author: Denney, Ewen (Editor); Giannakopoulou, Dimitra (Editor); Pasareanu, Corina S. (Editor)
Abstract: Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; hide
Publication Year: 2009
Document Type: Conference Proceedings
Report/Patent Number: NASA/CP-2009-215407, ARC-E-DAA-TN774
Date Acquired: Jul 13, 2010
Proceedings of the Second NASA Formal Methods Symposium
Document ID: 20100018529
NTRS Full-Text: Click to View  [PDF Size: 5.4 MB]
Author: Munoz, Cesar (Editor)
Abstract: This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by hide
Publication Year: 2010
Document Type: Conference Proceedings
Report/Patent Number: NASA/CP-2010-216215, L-19844, NF1676L-10398
Date Acquired: May 19, 2010
Cooling of Electric Motors Used for Propulsion on SCEPTOR
Document ID: 20170004363
NTRS Full-Text: Click to View  [PDF Size: 2.1 MB]
Author: Christie, Robert J.; Dubois, Arthur; Derlaga, Joseph M.
Abstract: NASA is developing a suite of hybrid-electric propulsion technologies for aircraft. These hide
Publication Year: 2017
Document Type: Technical Report
Report/Patent Number: NASA/TM-2017-219134, E-19259, GRC-E-DAA-TN33041
Date Acquired: May 17, 2017
Approximation of Engine Casing Temperature Constraints for Casing Mounted Electronics
Document ID: 20170004365
NTRS Full-Text: Click to View  [PDF Size: 2.10 MB]
Author: Kratz, Jonathan L.; Culley, Dennis E.; Chapman, Jeffryes W.
Abstract: The performance of propulsion engine systems is sensitive to weight and volume considerations. This hide
Publication Year: 2017
Document Type: Technical Report
Report/Patent Number: E-19349, GRC-E-DAA-TN39546, NASA/TM-2017-219477, AIAA Paper 2016-4858
Date Acquired: May 17, 2017
Comprehensive Lifecycle for Assuring System Safety
Document ID: 20170003805
NTRS Full-Text: Click to View  [PDF Size: 787 KB]
Author: Knight, John C.; Rowanhill, Jonathan C.
Abstract: CLASS is a novel approach to the enhancement of system safety in which the system safety case hide
Publication Year: 2017
Document Type: Technical Report
Report/Patent Number: NASA/CR-2017-219359, NF1676L-25541
Date Acquired: Apr 21, 2017
Understanding What It Means for Assurance Cases to "Work"
Document ID: 20170003806
NTRS Full-Text: Click to View  [PDF Size: 619 KB]
Author: Rinehart, David J.; Knight, John C.; Rowanhill, Jonathan
Abstract: This report is the result of our year-long investigation into assurance case practices and hide
Publication Year: 2017
Document Type: Technical Report
Report/Patent Number: NASA/CR-2017-219582, NF1676L-26066
Date Acquired: Apr 21, 2017
N+2 Advanced Low NOx Combustor Technology Final Report
Document ID: 20170002700
NTRS Full-Text: Click to View  [PDF Size: 5.1 MB]
Author: Herbon, John; Aicholtz, John; Hsieh, Shih-Yang; Viars, Philip; Birmaher, Shai; Brown, Dan; Patel, Nayan; Carper, Doug; Cooper, Clay; Fitzgerald, Russell
Abstract: In accordance with NASAs technology goals for future subsonic vehicles, this contract identified and hide
Publication Year: 2017
Document Type: Technical Report
Report/Patent Number: NASA/CR-2017-219410, E-19298, GRC-E-DAA-TN35615
Date Acquired: Apr 04, 2017
Lessons Learned: Mechanical Component and Tribology Activities in Support of Return to Flight
Document ID: 20170002627
NTRS Full-Text: Click to View  [PDF Size: 9.4 MB]
Author: Handschuh, Robert F.; Zaretsky, Erwin V.
Abstract: The February 2003 loss of the Space Shuttle Columbia resulted in NASA Management revisiting every hide
Publication Year: 2017
Document Type: Technical Report
Report/Patent Number: NASA/TM-2017-219405, E-19306, GRC-E-DAA-TN29097
Date Acquired: Mar 31, 2017
3DHZETRN: Inhomogeneous Geometry Issues
Document ID: 20170002588
NTRS Full-Text: Click to View  [PDF Size: 763 KB]
Author: Wilson, John W.; Slaba, Tony C.; Badavi, Francis F.
Abstract: Historical methods for assessing radiation exposure inside complicated geometries for space hide
Publication Year: 2017
Document Type: Technical Report
Report/Patent Number: NASA/TP-2017-219590, L-20786, NF1676L-26421
Date Acquired: Mar 30, 2017
NASA Systems Engineering Handbook
Document ID: 20170001761
NTRS Full-Text: Click to View  [PDF Size: 3.9 MB]
Author: Hirshorn, Steven R.; Voss, Linda D.; Bromley, Linda K.
Abstract: The update of this handbook continues the methodology of the previous revision: a top-down hide
Publication Year: 2017
Document Type: Technical Report
Report/Patent Number: NASA/SP-2016-6105 Rev 2, HQ-E-DAA-TN38707
Date Acquired: Feb 23, 2017
1 2 3 4 5 6 7 8 9 10 Next >>
Facebook icon, External Link to NASA STI page on Facebook Twitter icon, External Link to NASA STI on Twitter YouTube icon, External Link to NASA STI Channel on YouTube RSS icon, External Link to New NASA STI RSS Feed
Refine By
Search History
 
NASA Logo, External Link

NASA Official: Gerald Steeman

Sponsored By: NASA Scientific and Technical Information Program

Site Curator: STI Support Services

Last Modified: May 20, 2017

Privacy Policy & Important Notices Disclaimers, Copyright, Terms of Use Freedom of Information Act USA.gov NASA.gov NASA OCIO Free Adobe PDF Reader Free MS Word Viewer