Your Selections

United Technologies Research Center
Show Only

Collections

File Formats

Content Types

Dates

Sectors

Topics

Authors

Publishers

Affiliations

Events

   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

A Methodology for Increasing the Efficiency and Coverage of Model Checking and its Application to Aerospace Systems

SAE International Journal of Aerospace

  • Journal Article
  • 2016-01-2053
Published 2016-09-20 by SAE International in United States
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Novel Framework Approach for Model-Based Process Integration from Requirements to Verification Demonstrated on a Complex, Cyber-Physical Aircraft System

Published 2018-10-30 by SAE International in United States
This content contains downloadable datasets
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

A Methodology for Formal Requirements Validation and Automatic Test Generation and Application to Aerospace Systems

Published 2018-10-30 by SAE International in United States
This content contains downloadable datasets
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Multi-Layer Framework for Synthesis and Evaluation of Heterogeneous System-of-Systems Composed of Manned and Unmanned Vehicles

Published 2018-10-30 by SAE International in United States
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Time-Domain Dynamic Analysis of Helical Gears with Reduced Housing Model

SAE International Journal of Aerospace

  • Journal Article
  • 2013-01-1898
Published 2013-05-13 by SAE International in United States
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Hybrid Finite Element Analysis of a Rotorcraft

SAE International Journal of Aerospace

  • Journal Article
  • 2013-01-1995
Published 2013-05-13 by SAE International in United States
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Framework for Modelling and Simulation of Multi-Physics Aircraft Systems with Distributed Electronic Controllers

Published 2017-09-19 by SAE International in United States
This content contains downloadable datasets
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Design and Comparison of Permanent Magnet Machine Topologies for Aerospace Actuators

  • Technical Paper
  • 2016-01-2061
Published 2016-09-20 by SAE International in United States
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Energy Storage for Commercial Hybrid Electric Aircraft

Published 2016-09-20 by SAE International in United States
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Multi-Domain Modelling of 3 Phase Voltage Source Converters in Modelica Language

Published 2016-09-20 by SAE International in United States
Annotation ability available