<--- Back to Details
First PageDocument Content
Aircraft / Aviation / Propulsion / Jet engines / Gas turbines / Pratt & Whitney PW1000G / Airbus A320neo family / Embraer E-Jet E2 family / Pratt & Whitney / Bombardier CSeries / Airbus A319 / Turbofan
Date: 2016-01-08 13:59:20
Aircraft
Aviation
Propulsion
Jet engines
Gas turbines
Pratt & Whitney PW1000G
Airbus A320neo family
Embraer E-Jet E2 family
Pratt & Whitney
Bombardier CSeries
Airbus A319
Turbofan

Pratt & Whitney PurePower ®

Add to Reading List

Source URL: www.pw.utc.com

Download Document from Source Website

File Size: 2,42 MB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Programming language theory / Procedural programming languages / Programming languages / Logic in computer science / Runtime verification / Cross-platform software / Program slicing / Model checking / L-system / Trace

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

DocID: 1xVWh - View Document

FO / Finite model theory / Model theory / Metaphilosophy / Mathematical logic / Mathematics / Sigma-algebra / Pattern language

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

DocID: 1xVrl - View Document

Computing / Software engineering / Models of computation / UML state machine / State diagram / HSM / Scala

Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov

DocID: 1xVoG - View Document

Model checkers / Software engineering / Computing / Model checking / Theoretical computer science / SPIN model checker / Stack / Promela / Exception handling / Device driver synthesis and verification

Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

DocID: 1xVnS - View Document

Software testing / Software engineering / Computing / Quality / Fault injection / Software verification / Reliability engineering / Formal verification / Flash memory / Software quality / Stress testing / Exception handling

Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena

DocID: 1xVf0 - View Document