Your Selections

Dion, Bernard
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 Cost-Effective Model-Based Approach for Developing ISO 26262 Compliant Automotive Safety Related Applications

Published 2016-04-05 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.

SCADE Solutions for the Efficient Development of ARINC 661 Cockpit Display Systems and User Applications

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.

Correct-By-Construction Methods for the Development of Safety-Critical Applications

Published 2004-03-08 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 Verification for Model-Based Development

Published 2005-04-11 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.

Model-Based Design of Complex Integrated Systems for Synchronous Architectures

Published 2007-09-17 by SAE International in United States
Annotation ability available