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
14 lines
508 B
Markdown
14 lines
508 B
Markdown
# RESSAC_Use_Case
|
|
A Collaborative Development Assurance Lab
|
|
|
|
|
|
|
|
Welcome to the RESSAC GitHub,
|
|
|
|
RESSAC is an open project devoted to experimenting new approaches to aeronautic system, software, and hardware development assurance.
|
|
It originated from an FAA initiative named "Streamlining Development Assurance" (November 2015).
|
|
It is hosted by IRT St Exupery (Toulouse FRANCE).
|
|
|
|
As of 01/10/2016 the specification of the use case is available in the UseCaseSpecification directory.
|
|
The other folders are empty.
|