<--- Back to Details
First PageDocument Content
Langley Research Center / National Advisory Committee for Aeronautics / NASA personnel / Wind tunnel / Spin / Robert T. Jones / John M. Riebe / Aviation / Transport / Aerospace engineering
Date: 2013-03-11 16:39:25
Langley Research Center
National Advisory Committee for Aeronautics
NASA personnel
Wind tunnel
Spin
Robert T. Jones
John M. Riebe
Aviation
Transport
Aerospace engineering

---------·- ----· ,~ -~-

Add to Reading List

Source URL: crgis.ndc.nasa.gov

Download Document from Source Website

File Size: 2,65 MB

Share Document on Facebook

Similar Documents

Economy / Finance / Money / Stock market / Equity securities / Taxation in the United States / Corporate finance / Abbott Laboratories / Lake Bluff /  Illinois / AbbVie Inc. / Cost basis / Dividend

January 31, 2013 Re: Information for Canadian resident shareholders concerning the Canadian Income Tax Election on the spin-off of AbbVie Inc. from Abbott Laboratories

DocID: 1xW00 - View Document

Identity management / Data security / Law / Information governance / Terms of service / Privacy / Profiling / Internet privacy / Information privacy / Medical privacy

PRESS RELEASE Zurich, Best of both worlds in health science Advancience and healthbank The data science company, started as a spin-off project of Basel University, together with the GDPR compliant health data p

DocID: 1xVQI - View Document

Model checkers / Computing / Theoretical computer science / Software engineering / Formal methods / Promela / SPIN model checker / Model checking / Guard / Certificate / Formal verification / Printf format string

Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich

DocID: 1xVPm - View Document

Model checkers / Software engineering / Computing / Theoretical computer science / Model checking / Promela / Formal verification / SPIN model checker / Abstraction / Sizeof / Const

Tackling Large Software Verification Problems with Spin

DocID: 1xUQY - View Document

Model checkers / Software engineering / Computing / Electronic engineering / Theoretical computer science / Model checking / Swarm behaviour / Formal methods / Promela / Swarm / Software verification / SPIN model checker

Tackling Large Software Verification Problems with Spin

DocID: 1xTIc - View Document