Beslutningsinfrastruktur bygget omkring en deterministisk kerne
Evalueringsformer
En evaluering defineres af de verificerede udsagn, der gennemgås, miljøet og operatørens ansvar.
Dokumentationsgrænse
Navne på udgaver udvider ikke den offentlige dokumentationsgrænse og antyder ikke utilgængelige implementeringskapaciteter.