You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
ThalesAV
1b2aa52b71
|
7 years ago | |
---|---|---|
.. | ||
GeneralProcessDefinition | 7 years ago | |
Case study Multisystem Integration.doc | 7 years ago | |
Case study SPARK.doc | 7 years ago | |
Case study SW MODEL.doc | 7 years ago | |
Case study template FPGA Development_2.doc | 7 years ago | |
Case study template Soc Development.doc | 7 years ago | |
Case study template.doc | 7 years ago | |
README.md | 7 years ago |
README.md
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.