Ada 9X and safety critical/secure systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Ada 9X and safety critical/secure systems

Full text

Pdf (396 KB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '92 table of contents

Orlando, Florida, United States

Pages: 55 - 59

Year of Publication: 1992

ISBN:0-89791-529-1

Chairman

John McHugh

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 4, Citation Count: 0

Additional Information:

references index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/143557.143581 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Neil A. Waldhart, The Army Secure Operating System, In Proceedings of the 1990 iEEE Symposium on Security and Privacy, Oakland, CA, May 1990.
	2	TRW Systems Division, Process Model for High Performance Trusted Systems in Ada, Phase I Technical Report, August 1989.