DocumentCode
277814
Title
IEE Colloquium on `High Integrity Ada´ (Digest No.003)
fYear
1991
fDate
33246
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;
fLanguage
English
Publisher
iet
Conference_Titel
High Integrity Ada, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
180769
Link To Document