Assuring Safety for Component Based Software Engineering

Philippa Conmy, Iain Bate. Assuring Safety for Component Based Software Engineering. In 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014. pages 121-128, IEEE Computer Society, 2014. [doi]

@inproceedings{ConmyB14,
  title = {Assuring Safety for Component Based Software Engineering},
  author = {Philippa Conmy and Iain Bate},
  year = {2014},
  doi = {10.1109/HASE.2014.25},
  url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2014.25},
  researchr = {https://researchr.org/publication/ConmyB14},
  cites = {0},
  citedby = {0},
  pages = {121-128},
  booktitle = {15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014},
  publisher = {IEEE Computer Society},
}