Using COTS Software in High Assurance Control Applications

Lui Sha. Using COTS Software in High Assurance Control Applications. In 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE 99), 17-19 November 1999, Washington, D.C, USA, Proceedings. pages 118, IEEE Computer Society, 1999. [doi]

@inproceedings{Sha99,
  title = {Using COTS Software in High Assurance Control Applications},
  author = {Lui Sha},
  year = {1999},
  url = {http://computer.org/proceedings/hase/0418/04180118abs.htm},
  researchr = {https://researchr.org/publication/Sha99},
  cites = {0},
  citedby = {0},
  pages = {118},
  booktitle = {4th IEEE International Symposium on High-Assurance Systems Engineering (HASE  99), 17-19 November 1999, Washington, D.C, USA, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0418-3},
}