Your Selections

Delmas, Rémi
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.

Model-Based Safety Assessment for the Three Stages of Refinement of the System Development Process in ARP4754A

Published 2011-10-18 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.

Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses

SAE International Journal of Aerospace

  • Journal Article
  • 2013-01-2109
Published 2013-09-17 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.

Towards Cooperation of Formal Methods for the Analysis of Critical Control Systems

SAE International Journal of Aerospace

  • Journal Article
  • 2011-01-2558
Published 2011-10-18 by SAE International in United States
Annotation ability available