Your Selections

Mangeruca, Leonardo
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.

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.

Modelling and Simulation Tools for Systems Integration on 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-Processor Micro-Controllers for Automotive Safety-Critical Applications

  • Technical Paper
  • 2004-35-0179
Published 2004-04-19 by University of Salerno in Italy