Using COTS software in high assurance control applications

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages1
ISBN (Electronic)0769504183, 9780769504186
DOIs
StatePublished - Jan 1 1999
Event4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999 - Washington, United States
Duration: Nov 17 1999Nov 19 1999

Publication series

NameProceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999

Other

Other4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999
CountryUnited States
CityWashington
Period11/17/9911/19/99

ASJC Scopus subject areas

  • Software
  • Electrical and Electronic Engineering
  • Safety, Risk, Reliability and Quality

Cite this

Sha, L. (1999). Using COTS software in high assurance control applications. In Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999 [809485] (Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/HASE.1999.809485