Title :
IEE Colloquium on `High Integrity Ada´ (Digest No.003)
Abstract :
The following topics were dealt with: high integrity Ada; safety critical software; program verification; verification tools; Ada subsets; and software reliability
Keywords :
Ada; program compilers; program verification; safety; software reliability; software tools; Ada subsets; compilers; high integrity Ada; program verification; safety critical software; software reliability; verification tools;
Conference_Titel :
High Integrity Ada, IEE Colloquium on
Conference_Location :
London
