Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour

Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin. Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. In Maria Virvou, Taichi Nakamura, editors, Knowledge-Based Software Engineering, Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2008, August 25-28, 2008, University of Piraeus, Piraeus, Greece. Volume 180 of Frontiers in Artificial Intelligence and Applications, pages 405-414, IOS Press, 2008. [doi]

@inproceedings{MokosKBVP08,
  title = {Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour},
  author = {Konstantinos Mokos and Panagiotis Katsaros and Nick Bassiliades and Vangelis Vassiliadis and Maxime Perrotin},
  year = {2008},
  doi = {10.3233/978-1-58603-900-4-405},
  url = {http://dx.doi.org/10.3233/978-1-58603-900-4-405},
  tags = {composition, analysis},
  researchr = {https://researchr.org/publication/MokosKBVP08},
  cites = {0},
  citedby = {0},
  pages = {405-414},
  booktitle = {Knowledge-Based Software Engineering, Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2008, August 25-28, 2008, University of Piraeus, Piraeus, Greece},
  editor = {Maria Virvou and Taichi Nakamura},
  volume = {180},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-58603-900-4},
}