You've already forked RESSAC_Use_Case
mirror of
https://github.com/AdaCore/RESSAC_Use_Case.git
synced 2026-02-12 12:42:59 -08:00
12 lines
382 B
Markdown
12 lines
382 B
Markdown
# Experiments on Baseline Development Assurance
|
|
*Streamlining Development Assurance - muXAV Use Case*
|
|
|
|
|
|
This folder will contain any development artefact or assurance artefact
|
|
supporting application of ARP 4754A, DO-178C, DO-331 (model-based TS), DO-333
|
|
(formal method TS), DO-254 on muXAV development processes
|
|
|
|
As of 2016/09/20 the folder is empty.
|
|
|
|
See the Specification folder.
|