IEEE - Institute of Electrical and Electronics Engineers, Inc. - Provably dependable software architectures for adaptable avionics

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings

Author(s): Stavridou, V.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: St Louis, MO, USA, USA
Conference Date: 24 October 1999
Volume: 2
ISBN (Paper): 0-7803-5749-3
DOI: 10.1109/DASC.1999.863673
Regular:

Dependable architectures demonstrably possess properties such as safety, security and fault tolerance. We are interested in developing methods allowing formal demonstrations through proof that an... View More

Advertisement