High Integrity Systems
Richtlinien zum Einsatz von Ada in Safety Critical & Secure Systems
- Guide for the use of Ada ravenscar profile in high integrity systems (iso.org 2005)
- Guide for the use of the Ada Ravenscar Profile in high integrity systems (sigada.org 2003)
Secure Ada-Subsets
Weitere Unterlagen
Links