@inproceedings{f45bd10471f74646a1991e33287052cb,
title = "Using COTS software in high assurance control applications",
author = "Lui Sha",
year = "1999",
doi = "10.1109/HASE.1999.809485",
language = "English (US)",
series = "Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999",
address = "United States",
note = "4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999 ; Conference date: 17-11-1999 Through 19-11-1999",
}