Safety analysis of an evolving software architecture

Rogério de Lemos. Safety analysis of an evolving software architecture. In 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings. pages 159-168, IEEE Computer Society, 2000. [doi]

@inproceedings{Lemos00-0,
  title = {Safety analysis of an evolving software architecture},
  author = {Rogério de Lemos},
  year = {2000},
  doi = {10.1109/HASE.2000.895455},
  url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2000.895455},
  researchr = {https://researchr.org/publication/Lemos00-0},
  cites = {0},
  citedby = {0},
  pages = {159-168},
  booktitle = {5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0927-4},
}