-
Anthony Leonardo Gracio authored
In particular define more precisely what are the SPARK global contracts and specify which errors can be found (and how) during the different phases of the project (software requirements development, etc.).
cfd1c300
| Name |
Last commit
|
Last update |
|---|---|---|
| CaseStudiesProcessDefinition | ||
| UseCaseData | ||
| UseCaseDevelopment/Layer2_MMS_SW_Scade | ||
| .gitignore | ||
| README.md |