Annex H (High Integrity Systems)
E284616
UNEXPLORED
Annex H (High Integrity Systems) is an Ada language annex that defines specialized features and restrictions to support the development of high-integrity, safety- and security-critical software systems.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
GNAT
→
|
supportsStandard |