Your Selections

Gheorghe, Serban
Show Only

Collections

File Formats

Content Types

Dates

Topics

Authors

Publishers

Affiliations

Events

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

Integrating Formal Model Checking with the RTEdge™ AADL Microkernel

SAE International Journal of Aerospace

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